Bulletin of Symbolic Logic 25 (3):283-318 (2019)

Peter Koellner
Harvard University
W. Hugh Woodin
Harvard University
The HOD Dichotomy Theorem states that if there is an extendible cardinal, δ, then either HOD is “close” to V or HOD is “far” from V. The question is whether the future will lead to the first or the second side of the dichotomy. Is HOD “close” to V, or “far” from V? There is a program aimed at establishing the first alternative—the “close” side of the HOD Dichotomy. This is the program of inner model theory. In recent years the third author has provided evidence that there is an ultimate inner model—Ultimate-L—and he has isolated a natural conjecture associated with the model—the Ultimate-L Conjecture. This conjecture implies that that the first alternative holds—HOD is “close” to V. This is the future in which pattern prevails. In this paper we introduce a very different program, one aimed at establishing the second alternative—the “far” side of the HOD Dichotomy. This is the program of large cardinals beyond choice. Kunen famously showed that if AC holds then there cannot be a Reinhardt cardinal. It has remained open whether Reinhardt cardinals are consistent in ZF alone. It turns out that there is an entire hierarchy of choiceless large cardinals of which Reinhardt cardinals are only the beginning, and, surprisingly, this hierarchy appears to be highly ordered and amenable to systematic investigation, as we shall show in this paper. The point is that if these choiceless large cardinals are consistent then the Ultimate-L Conjecture must fail. This is the future where chaos prevails.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/bsl.2019.28
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,740
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Suitable Extender Models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.
Elementary Embeddings and Infinitary Combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
Restrictions on Forcings That Change Cofinalities.Yair Hayut & Asaf Karagila - 2016 - Archive for Mathematical Logic 55 (3-4):373-384.

Add more references

Citations of this work BETA

From Metasemantics to Analyticity.Zeynep Soysal - forthcoming - Philosophy and Phenomenological Research.

Add more citations

Similar books and articles

Elementary Chains and C (N)-Cardinals.Konstantinos Tsaprounis - 2014 - Archive for Mathematical Logic 53 (1-2):89-118.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
C (N)-Cardinals.Joan Bagaria - 2012 - Archive for Mathematical Logic 51 (3-4):213-240.
The HOD Hypothesis and a Supercompact Cardinal.Yong Cheng - 2017 - Mathematical Logic Quarterly 63 (5):462-472.
Definability Degrees.Sy D. Friedman - 2005 - Mathematical Logic Quarterly 51 (5):448-449.
Ramsey-Like Cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Large Cardinals and Projective Sets.Haim Judah & Otmar Spinas - 1997 - Archive for Mathematical Logic 36 (2):137-155.
Weak Covering at Large Cardinals.Ralf‐Dieter Schindler - 1997 - Mathematical Logic Quarterly 43 (1):22-28.
Abstract Logic and Set Theory. II. Large Cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.


Added to PP index

Total views
38 ( #261,615 of 2,386,872 )

Recent downloads (6 months)
13 ( #51,238 of 2,386,872 )

How can I increase my downloads?


My notes