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

DOI10.1305/NDJFL/1093635080MaRDI QIDQ1264142zbMATH OpenOpenAlexFDO

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

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)

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

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)