Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
From MaRDI portal
Publication:1264142
DOI10.1305/NDJFL/1093635080zbMath0689.03020OpenAlexW2074487014MaRDI QIDQ1264142
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
conservation propertiesnatural numberswell-orderingsaxiomatizationsrealswell-founded treescomplete orderingsmonadic \(\Pi ^ 1_ 1\)-sentencesmonadic universal second-order theoriesscattered orderings
Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Models of other mathematical theories (03C65)
Related Items (4)
A first-order axiomatization of the theory of finite trees ⋮ An axiomatization for until and since over the reals without the IRR rule ⋮ APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES ⋮ First-order theories of bounded trees
This page was built for publication: Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
