Divergent Models with the Failure of the Continuum Hypothesis

Journal of Symbolic Logic:1-11 (forthcoming)
  Copy   BIBTEX

Abstract

We construct divergent models of $\mathsf {AD}^+$ along with the failure of the Continuum Hypothesis ( $\mathsf {CH}$ ) under various assumptions. Divergent models of $\mathsf {AD}^+$ play an important role in descriptive inner model theory; all known analyses of HOD in $\mathsf {AD}^+$ models (without extra iterability assumptions) are carried out in the region below the existence of divergent models of $\mathsf {AD}^+$. Our results are the first step toward resolving various open questions concerning the length of definable prewellorderings of the reals and principles implying $\neg \mathsf {CH}$, like $\mathsf {MM}$, that divergent models shed light on, see Question 5.1.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

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

Through your library

Similar books and articles

Is the Dream Solution of the Continuum Hypothesis Attainable?Joel David Hamkins - 2015 - Notre Dame Journal of Formal Logic 56 (1):135-145.
Turing determinacy and the continuum hypothesis.Ramez L. Sami - 1989 - Archive for Mathematical Logic 28 (3):149-154.
Chance and the Continuum Hypothesis.Daniel Hoek - 2021 - Philosophy and Phenomenological Research 103 (3):639-60.
Confirming universal generalizations.S. L. Zabell - 1996 - Erkenntnis 45 (2-3):267-283.
How Woodin changed his mind: new thoughts on the Continuum Hypothesis.Colin J. Rittberg - 2015 - Archive for History of Exact Sciences 69 (2):125-151.
The consistency of the continuum hypothesis via synergistic models.Alexander Abian - 1973 - Mathematical Logic Quarterly 19 (13):193-198.
Axiom výběru a hypotéza kontinua – souvislosti a rozdíly.Tereza Slabá - 2023 - Teorie Vědy / Theory of Science 45 (1):67-93.
Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence.Arthur W. Apter - 2014 - Notre Dame Journal of Formal Logic 55 (4):431-444.
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.

Analytics

Added to PP
2023-12-08

Downloads
9 (#1,258,729)

6 months
9 (#317,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Inner models in the region of a Woodin limit of Woodin cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.

Add more references