Summary
Assume ZFC is consistent then for everyB⫅ω there is a generic extension of the ground world whereB is recursive in the monadic theory ofω 2.
Similar content being viewed by others
References
[GMS] Gurevich, Y., Magidor, M., Shelah, S.: The monadic theory ofω 2. J. Symb. Logic48, 387–398 (1983)
[Gu] Gurevich, Y.: Monadic second-order theories. In: Barwise, J., Feferman, S. (eds): Modeltheoretical logics. Berlin Heidelberg New York: Springer 1985
[Sh1] Shelah, S.: The monadic theory of order. Ann. Math.102, 379–419 (1974)
[Sh2] Shelah, S.: Whitehead groups may not be free even assuming C.H.(1). Isr. J. Math.28, 193–203 (1977)
[Sh3] Shelah, S.: Diamonds, uniformization. J. Symb. Logic49, 1022–1033 (1984)
[Sk] Steinhorn, C.I., King, J.H.: The uniformization property for ℵ2. Isr. J. Math.36, 248–256 (1980)
[Sho] Shoenfield, J.R.: Untamified forcing. In: Scott, D.S. (ed) Axiomatic set theory, Part I. Proc. Symp. Pure Math. 13. Providence. R.I., 1971, pp. 357–381
Author information
Authors and Affiliations
Additional information
The second authro would like to thank the United States — Israel Binational Science Foundation for partially supporting this research. Publ. 411
Rights and permissions
About this article
Cite this article
Lifsches, S., Shelah, S. The monadic theory of (ω 2, <) may be complicated. Arch Math Logic 31, 207–213 (1992). https://doi.org/10.1007/BF01269949
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01269949