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

DOI10.1002/MALQ.19830290502zbMATH Open0541.03003OpenAlexW4234599625MaRDI QIDQ3328512FDOQ3328512

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

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 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)

Cited In (4)

• AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2
• Title not available (Why is that?)
• Selection in the monadic theory of a countable ordinal
• 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)