The monadic theory of ω2

, &
Journal of Symbolic Logic 48 (2):387-398 (1983)
  Copy   BIBTEX

Abstract

Assume ZFC + "There is a weakly compact cardinal" is consistent. Then: (i) For every $S \subseteq \omega, \mathrm{ZFC} +$ "S and the monadic theory of ω 2 are recursive each in the other" is consistent; and (ii) ZFC + "The full second-order theory of ω 2 is interpretable in the monadic theory of ω 2 " is consistent

Categories

Keywords

Reprint years

DOI

10.2307/2273556

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Monadic Theory of ω 1 2.Yuri Gurevich, Menachem Magidor & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (2):387-398.
The monadic theory of (ω 2, <) may be complicated.Shmuel Lifsches & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):207-213.
Random graphs in the monadic theory of order.Shmuel Lifsches & Saharon Shelah - 1999 - Archive for Mathematical Logic 38 (4-5):273-312.
Peano arithmetic may not be interpretable in the monadic theory of linear orders.Shmuel Lifsches & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (3):848-872.
Peano Arithmetic May Not be Interpretable in the Monadic Theory of Linear Orders.Shmuel Lifsches & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (3):848-872.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.
The cofinality of cardinal invariants related to measure and category.Tomek Bartoszynski, Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (3):719-726.
The Consistency Strength of $$\aleph{\omega}$$ and $$\aleph_{{\omega}1}$$ Being Rowbottom Cardinals Without the Axiom of Choice.Arthur W. Apter & Peter Koepke - 2006 - Archive for Mathematical Logic 45 (6):721-737.
Monadic theory of order and topology in ZFC.Yuri Gurevich & Saharon Shelah - 1982 - Annals of Mathematical Logic 23 (2-3):179-198.

Analytics

Added to PP
2009-01-28

Downloads
26 (#145,883)

6 months
9 (#1,260,759)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.
Modal logic of time division.Tero Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 363-387.

Add more citations

References found in this work

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187-222.

Add more references