skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: LARGE CARDINALS BEYOND CHOICE
Abstract The HOD Dichotomy Theorem states that if there is an extendible cardinal, δ , then either HOD is “close” to V (in the sense that it correctly computes successors of singular cardinals greater than δ ) or HOD is “far” from V (in the sense that all regular cardinals greater than or equal to δ are measurable in HOD). 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 (assuming the existence of an extendible cardinal) 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.  more » « less
Award ID(s):
1664764
PAR ID:
10149501
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
The Bulletin of Symbolic Logic
Volume:
25
Issue:
03
ISSN:
1079-8986
Page Range / eLocation ID:
283 to 318
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. (, Journal of Mathematical Logic)
    This paper explores several topics related to Woodin’s HOD conjecture. We improve the large cardinal hypothesis of Woodin’s HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a strongly compact cardinal and the HOD hypothesis holds, there is no elementary embedding from HOD to HOD, settling a question of Woodin. We show that the HOD hypothesis is equivalent to a uniqueness property of elementary embeddings of levels of the cumulative hierarchy. We prove that the HOD hypothesis holds if and only if every regular cardinal above the first strongly compact cardinal carries an ordinal definable omega Jónsson algebra. We show that if the HOD hypothesis holds and HOD satisfies the Ultrapower Axiom, then every supercompact cardinal is supercompact in HOD. 
    more » « less
  2. ; (, Transactions of the American Mathematical Society)
    null (Ed.)
    We show that if V has a proper class ofWoodin cardinals, a strong cardinal, and a generically universally Baire iteration strategy (as defined in the paper) then Sealing holds after collapsing the successor of the least strong cardinal to be countable. This result is complementary to other work by the authors where it is shown that Sealing holds in a generic extension of a certain minimal universe. The current theorem is more general in that no minimality assumption is needed. A corollary of the main theorem is that Sealing is consistent relative to the existence of a Woodin cardinal which is a limit of Woodin cardinals. This improves significantly on the first consistency of Sealing obtained by W.H. Woodin. The Largest Suslin Axiom (LSA) is a determinacy axiom isolated byWoodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable bijections. Let LSA-over-uB be the statement that in all (set) generic extensions there is a model of LSA whose Suslin, co-Suslin sets are the universally Baire sets. The other main result of the paper shows that assuming V has a proper class of inaccessible cardinals which are limit of Woodin cardinals, a strong cardinal, and a generically universally Baire iteration strategy, in the universe V [g], where g is V -generic for the collapse of the successor of the least strong cardinal to be countable, the theory LSA-over-UB fails; this implies that LSA-over-UB is not equivalent to Sealing (over the base theory of V [g]). This is interesting and somewhat unexpected, in light of other work by the authors. Compare this result with Steel’s well-known theorem that “AD in L(R) holds in all generic extensions” is equivalent to “the theory of L(R) is sealed” in the presence of a proper class of measurable cardinals. 
    more » « less
  3. ; (, The bulletin of symbolic logic)
    A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by set forcings. The 𝖫𝖺𝗋𝗀𝖾𝗌𝗍 𝖲𝗎𝗌𝗅𝗂𝗇 𝖠𝗑𝗂𝗈𝗆 ( 𝖫𝖲𝖠 ) is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable surjections. Let 𝖫𝖲𝖠 - 𝗈𝗏𝖾𝗋 - 𝗎𝖡 be the statement that in all (set) generic extensions there is a model of 𝖫𝖲𝖠 whose Suslin, co-Suslin sets are the universally Baire sets. We outline the proof that over some mild large cardinal theory, 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 is equiconsistent with 𝖫𝖲𝖠 - 𝗈𝗏𝖾𝗋 - 𝗎𝖡 . In fact, we isolate an exact theory (in the hierarchy of strategy mice) that is equiconsistent with both (see Definition 3.1). As a consequence, we obtain that 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 is weaker than the theory “ 𝖹𝖥𝖢 + there is a Woodin cardinal which is a limit of Woodin cardinals.” This significantly improves upon the earlier consistency proof of 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 by Woodin. A variation of 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 , called 𝖳𝗈𝗐𝖾𝗋 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 , is also shown to be equiconsistent with 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 over the same large cardinal theory. We also outline the proof that if V has a proper class of Woodin cardinals, a strong cardinal, and a generically universally Baire iteration strategy, then 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 holds after collapsing the successor of the least strong cardinal to be countable. This result is complementary to the aforementioned equiconsistency result, where it is shown that 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 holds in a generic extension of a certain minimal universe. This theorem is more general in that no minimal assumption is needed. A corollary of this is that 𝖫𝖲𝖠 - 𝗈𝗏𝖾𝗋 - 𝗎𝖡 is not equivalent to 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 . 
    more » « less
  4. ; ; ; (, Transactions of the American Mathematical Society)
    In Boney [Israel J. Math. 236 (2020), pp. 133–181], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and subtle cardinals. 
    more » « less
  5. ; (, Journal of the London Mathematical Society)
    Abstract We demonstrate that the technology of Radin forcing can be used to transfer compactness properties at a weakly inaccessible but not strong limit cardinal to a strongly inaccessible cardinal. As an application, relative to the existence of large cardinals, we construct a model of set theory in which there is a strongly inaccessible cardinal that is ‐‐stationary for all but not weakly compact. This is in sharp contrast to the situation in the constructible universe , where being ‐‐stationary is equivalent to being ‐indescribable. We also show that it is consistent that there is a cardinal such that is ‐stationary for all and , answering a question of Sakai. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email