Computably infinitary languages

Cambridge University Press eBooks 2026 Book chapter

View at publisher
Authors: Antonio Montalbán
DOI: 10.1017/9781108780568.004
Cited by: 0

Abstract

Now that we have developed inifinitary languages, we study how to work with them from a computability theory perspective. The computably infinitary formulas play a key role in this book, as they provide the link between structural and complexity notions.

Fields of Study & Subjects

Computability Logic AI Algorithms semigroups and automata theory Advanced Topology and Set Theory

Publication details

Journal / source
Cambridge University Press eBooks
Pages
51–56
Publication date
30 January 2026
Document type
Book chapter