Monadic _ 1^ 1-theories of _ 1^ 1-properties

DOI10.1305/NDJFL/1093635080zbMATH Open0689.03020OpenAlexW2074487014MaRDI QIDQ1264142FDOQ1264142

Authors: Kees Doets 

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635080

Recommendations

• AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2
• Second-order quantifiers and the complexity of theories
• Notes on monadic logic. Part B: Complexity of linear orders in ZFC
• The monadic theory of ω₂
• On monadic theories of monadic predicates

zbMATH Keywords

axiomatizationsrealsnatural numbersconservation propertieswell-orderingswell-founded treescomplete orderingsmonadic \(\Pi ^ 1_ 1\)-sentencesmonadic universal second-order theoriesscattered orderings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65) Interpolation, preservation, definability (03C40)

Cited In (4)

• Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees
• An axiomatization for until and since over the reals without the IRR rule
• First-order theories of bounded trees
• A first-order axiomatization of the theory of finite trees

This page was built for publication: Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties

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