AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2

DOI10.1002/MALQ.19830290602MaRDI QIDQ3346282zbMATH OpenOpenAlexFDO

Authors Charles Zaiontz

Publication date 1983

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19830290602

zbMATH Keywords

accessibilitymonadic theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Ordinal and cardinal numbers (03E10)

Recommendations

• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
• The monadic theory of ω₂
• THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS
• The monadic theory of \((\omega{}_ 2,<)\) may be complicated
• Selection in the monadic theory of a countable ordinal

Cited in

(12)

• The monadic theory and the next world
• The monadic theory of \((\omega{}_ 2,<)\) may be complicated
• Transfer theorems for \(\pi\)-monads
• Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
• Monadic theory of a linear order versus the theory of its subsets with the lifted min/max operations
• scientific article; zbMATH DE number 3884139 (Why is no real title available?)
• THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS
• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
• The monadic theory of ω₂
• Zur Axiomatik der Friedmanschen Theorie der Prädikate
• scientific article; zbMATH DE number 3914318 (Why is no real title available?)
• Selection over classes of ordinals expanded by monadic predicates

This page was built for publication: AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3346282)