THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS

DOI10.1002/MALQ.19830290502MaRDI QIDQ3328512zbMATH OpenOpenAlexFDO

Authors J. Richard Buchi, Dirk Siefkes

Publication date 1983

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

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

zbMATH Keywords

definable choiceprime modelscomplete extensionsmonadic second order theory of countable ordinalsultimately periodic sets

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85)

Recommendations

• AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2
• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
• The monadic theory of ω₂
• Publication:3028970
• scientific article; zbMATH DE number 5354049

Cited in

(4)

• scientific article; zbMATH DE number 4016858 (Why is no real title available?)
• Selection in the monadic theory of a countable ordinal
• AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2
• Ordinals. II: Some applications and a functorial approach

This page was built for publication: THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS

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