We prove the following result which is due to the third author. Let [Formula: see text]. If [Formula: see text] determinacy and [Formula: see text] determinacy both hold true and there is no [Formula: see text]-definable [Formula: see text]-sequence of pairwise distinct reals, then [Formula: see text] exists and is [Formula: see text]-iterable. The proof yields that [Formula: see text] determinacy implies that [Formula: see text] exists and is [Formula: see text]-iterable for all reals [Formula: see text]. A consequence is (...) the Determinacy Transfer Theorem for arbitrary [Formula: see text], namely the statement that [Formula: see text] determinacy implies [Formula: see text] determinacy. (shrink)

Models of set theory are constructed where the non-stationary ideal on PΩ1λ is presaturated. The initial model has a Woodin cardinal. Using the Lévy collapse the Woodin cardinal becomes λ+ in the final model. These models provide new information about the consistency strength of a presaturated ideal onPΩ1λ for λ greater than Ω1.

We extend the theory of “Fine structure and iteration trees” to models having more than one Woodin cardinal.

The results of this paper concern the effective cardinal structure of the subsets of [ω1]<ω1, the set of all countable subsets of ω1. The main results include dichotomy theorems and theorems which show that the effective cardinal structure is complicated.

The results of this paper concern the effective cardinal structure of the subsets of [ω1]<ω1, the set of all countable subsets of ω1. The main results include dichotomy theorems and theorems which show that the effective cardinal structure is complicated.

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. (shrink)

Under the assumption that δ is a Woodin cardinal and GCH holds, I show that if F is any class function from the regular cardinals to the cardinals such that (1) ${\kappa < {\rm cf}(F(\kappa))}$ , (2) ${\kappa < \lambda}$ implies ${F(\kappa) \leq F(\lambda)}$ , and (3) δ is closed under F, then there is a cofinality-preserving forcing extension in which 2 γ = F(γ) for each regular cardinal γ < δ, and in which δ remains (...) class='Hi'>Woodin. Unlike the analogous results for supercompact cardinals [Menas in Trans Am Math Soc 223:61–91, (1976)] and strong cardinals [Friedman and Honzik in Ann Pure Appl Logic 154(3):191–208, (2008)], there is no requirement that the function F be locally definable. I deduce a global version of the above result: Assuming GCH, if F is a function satisfying (1) and (2) above, and C is a class of Woodin cardinals, each of which is closed under F, then there is a cofinality-preserving forcing extension in which 2 γ = F(γ) for all regular cardinals γ and each cardinal in C remains Woodin. (shrink)

We analyze the hereditarily ordinal definable sets $\operatorname {HOD} $ in $M_n[g]$ for a Turing cone of reals x, where $M_n$ is the canonical inner model with n Woodin cardinals build over x and g is generic over $M_n$ for the Lévy collapse up to its bottom inaccessible cardinal. We prove that assuming $\boldsymbol \Pi ^1_{n+2}$ -determinacy, for a Turing cone of reals x, $\operatorname {HOD} ^{M_n[g]} = M_n,$ where $\mathcal {M}_{\infty }$ is a direct limit of iterates (...) of $M_{n+1}$, $\delta _{\infty }$ is the least Woodin cardinal in $\mathcal {M}_{\infty }$, $\kappa _{\infty }$ is the least inaccessible cardinal in $\mathcal {M}_{\infty }$ above $\delta _{\infty }$, and $\Lambda $ is a partial iteration strategy for $\mathcal {M}_{\infty }$. It will also be shown that under the same hypothesis $\operatorname {HOD}^{M_n[g]} $ satisfies $\operatorname {GCH} $. (shrink)

There are three main types of number used in modern, industrialized societies. Cardinals count sets (e.g., people, objects) and quantify elements of conventional scales (e.g., money, distance), ordinals index positions in ordered sequences (e.g., years, pages), and nominals serve as unique identifiers (e.g., telephone numbers, player numbers). Many studies that have cited number frequencies in support of claims about numerical cognition and mathematical cognition hinge on the assumption that most numbers analyzed are cardinal. This paper is the first to (...) investigate the relative frequencies of different number types, presenting a corpus analysis of morphologically unmarked numbers (not, e.g., “eighth” or “21st”) in which we manually annotated 3,600 concordances in the Corpus of Contemporary American English. Overall, cardinals are dominant—both pure cardinals (sets) and measurements (scales)—except in the range 1,000–10,000, which is dominated by ordinal years, like 1996 and 2004. Ordinals occur less often overall, and nominals even less so. Only for cardinals do round numbers, associated with approximation, dominate overall and increase with magnitude. In comparison with other registers, academic writing contains a lower proportion of measurements as well as a higher proportion of ordinals and, to some extent, nominals. In writing, pure cardinals and measurements are usually represented as number words, but measurements—especially larger, unround ones—are more likely to be numerals. Ordinals and nominals are mostly represented as numerals. Altogether, this paper reveals how numbers are used in American English, establishing an initial baseline for any analyses of number frequencies and shedding new light on the cognitive and psychological study of number. (shrink)

We give a fairly complete account which first shows that the solution to the inner model problem for one supercompact cardinal will yield an ultimate version ofLand then shows that the various current approaches to inner model theory must be fundamentally altered to provide that solution.

The main theorem is that the Ultrafilter Axiom of Woodin :115–37, 2011) must fail at all cardinals where the Axiom I0 holds, in all non-strategic extender models subject only to fairly general requirements on the non-strategic extender model.

We investigate both iteration hypotheses and extender models at the level of one supercompact cardinal. The HOD Conjecture is introduced and shown to be a key conjecture both for the Inner Model Program and for understanding the limits of the large cardinal hierarchy. We show that if the HOD Conjecture is true then this provides strong evidence for the existence of an ultimate version of Gödel's constructible universe L. Whether or not this "ultimate" L exists is now arguably the central (...) issue for the Inner Model Program. (shrink)

We investigate large cardinal axioms beyond the level of ω-huge in context of the universality of the suitable extender models of [Suitable Extender Models I, J. Math. Log.10 101–339]. We show that there is an analog of ADℝ at the level of ω-huge, more precisely the construction of the minimum model of ADℝ generalizes to the level of Vλ+1. This allows us to formulate the indicated generalization of ADℝ and then to prove that if the axiom holds in V at (...) a proper class of λ then in every suitable extender model, the axiom holds at a proper class of λ. (shrink)

We study the fine structure of the core model for one Woodin cardinal, building of the work of Mitchell and Steel on inner models of the form . We generalize to some combinatorial principles that were shown by Jensen to hold in L. We show that satisfies the statement: “□κ holds whenever κ the least measurable cardinal λ of order λ++”. We introduce a hierarchy of combinatorial principles □κ, λ for 1 λ κ such that □κ□κ, 1 □κ, λ (...) □κ, κ□κ*. We prove that if holds in V. As an application, we show that ZFC + PFA Con. We also obtain one Woodin cardinal as a lower bound on the consistency strength of stationary reflection at κ+ for a singular, countably closed limit cardinal κ such that # exists; likewise for the failure of □κ* at such a κ. (shrink)

The Necessary Maximality Principle for c. c. c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).

We show the consistency, relative to the appropriate supercompactness or strong compactness assumptions, of the existence of a non-supercompact strongly compact cardinal $\kappa _0$ (the least measurable cardinal) exhibiting properties which are impossible when $\kappa _0$ is supercompact. In particular, we construct models in which $\square _{\kappa ^+}$ holds for every inaccessible cardinal $\kappa $ except $\kappa _0$, GCH fails at every inaccessible cardinal except $\kappa _0$, and $\kappa _0$ is less than the least Woodin cardinal.

Journal of Mathematical Logic, Ahead of Print. Asperó and Schindler have completely solved the Axiom [math] vs. [math] problem. They have proved that if [math] holds then Axiom [math] holds, with no additional assumptions. The key question now concerns the relationship between [math] and Axiom [math]. This is because the foundational issues raised by the problem of Axiom [math] vs. [math] arguably persist in the problem of Axiom [math] vs. [math]. The first of our two main theorems is that Axiom (...) [math] is equivalent to Axiom [math], and as a corollary we show that Axiom [math] fails in all the known models of [math]. This suggests that [math] actually refutes Axiom [math]. Our second main theorem is that the [math] Conjecture holds assuming [math]. This is the strongest partial result known on this conjecture which is one of the central open problems of [math]-theory and [math]-logic. These results identify a fundamental asymmetry between the Continuum Hypothesis and any axiom which is both [math]-expressible and which implies [math], on the basis of generic absoluteness for the simplest of the nontrivial sentences of Third-Order Number Theory. These are the [math]-sentences with no parameters. Such sentences are those which simply assert the existence of a set [math] for which some property involving only quantification over [math] holds. (shrink)

We show that it is consistent, relative to n ∈ ω supercompact cardinals, for the strongly compact and measurable Woodin cardinals to coincide precisely. In particular, it is consistent for the first n strongly compact cardinals to be the first n measurable Woodin cardinals, with no cardinal above the n th strongly compact cardinal being measurable. In addition, we show that it is consistent, relative to a proper class of supercompact cardinals, for the (...) strongly compact cardinals and the cardinals which are both strong cardinals and Woodin cardinals to coincide precisely. We also show how the techniques employed can be used to prove additional theorems about possible relationships between Woodin cardinals and strongly compact cardinals. (shrink)

We extend the construction of Mitchell and Steel to produce iterable fine structure models which may contain Woodin limits of Woodin cardinals, and more. The precise level reached is that of a cardinal which is both a Woodin cardinal and a limit of cardinals strong past it.

In 1985 the second author showed that if there is a proper class of measurable Woodin cardinals and $V^{B1} $ and $V^{B2} $ are generic extensions of V satisfying CH then $V^{B1} $ and $V^{B2} $ agree on all $\Sigma _1^2 $ -statements. In terms of the strong logic Ω-logic this can be reformulated by saying that under the above large cardinal assumption ZFC + CH is Ω-complete for $\Sigma _1^2 $ Moreover. CH is the unique $\Sigma _1^2 (...) $ -statement with this feature in the sense that any other $\Sigma _1^2 $ -statement with this feature is Ω-equivalent to CH over ZFC. It is natural to look for other strengthenings of ZFC that have an even greater degree of Ω-completeness. For example, one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for all of third-order arithmetic. Going further, for each specifiable segment $V_\lambda $ of the universe of sets (for example, one might take $V_\lambda $ to be the least level that satisfies there is a proper class of huge cardinals), one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for the theory of $V_\lambda $ . If such theories exist, extend one another, and are unique in the sense that any other such theory B with the same level of Ω-completeness as A is actually Ω-equivalent to A over ZFC, then this would show that there is a unique Ω-complete picture of the successive fragments of the universe of sets and it would make for a very strong case for axioms complementing large cardinal axioms. In this paper we show that uniqueness must fail. In particular, we show that if there is one such theory that Ω-implies CH then there is another that Ω-implies¬CH. (shrink)

Asperó and Schindler have completely solved the Axiom [Formula: see text] vs. [Formula: see text] problem. They have proved that if [Formula: see text] holds then Axiom [Formula: see text] holds, with no additional assumptions. The key question now concerns the relationship between [Formula: see text] and Axiom [Formula: see text]. This is because the foundational issues raised by the problem of Axiom [Formula: see text] vs. [Formula: see text] arguably persist in the problem of Axiom [Formula: see text] vs. (...) [Formula: see text]. The first of our two main theorems is that Axiom [Formula: see text] is equivalent to Axiom [Formula: see text], and as a corollary we show that Axiom [Formula: see text] fails in all the known models of [Formula: see text]. This suggests that [Formula: see text] actually refutes Axiom [Formula: see text]. Our second main theorem is that the [Formula: see text] Conjecture holds assuming [Formula: see text]. This is the strongest partial result known on this conjecture which is one of the central open problems of [Formula: see text]-theory and [Formula: see text]-logic. These results identify a fundamental asymmetry between the Continuum Hypothesis and any axiom which is both [Formula: see text]-expressible and which implies [Formula: see text], on the basis of generic absoluteness for the simplest of the nontrivial sentences of Third-Order Number Theory. These are the [Formula: see text]-sentences with no parameters. Such sentences are those which simply assert the existence of a set [Formula: see text] for which some property involving only quantification over [Formula: see text] holds. (shrink)

Let 0 < n < ω. If there are n Woodin cardinals and a measurable cardinal above, but $M_{n+1}^{\#}$ doesn't exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K.

Assume ZF + AD +V=L and letκ< Θ be an uncountable cardinal. We show thatκis Jónsson, and that if cof = ω thenκis Rowbottom. We also establish some other partition properties.

It is proven that the following statement: "there exists a club $C \subseteq \kappa$ such that every α ∈ C is an inaccessible cardinal in L and, for every δ a limit point of C, C ∩ δ is almost contained in every club of δ of L" is equiconsistent with a weakly compact cardinal if κ = ℵ 1 , and with a weakly compact cardinal of order 1 if κ = ℵ 2.

If the Bounded Proper Forcing Axiom BPFA holds, then Mouse Reflection holds at N₂ with respect to all mouse operators up to the level of Woodin cardinals in the next ZFC-model. This yields that if Woodin's ℙ max axiom (*) holds, then BPFA implies that V is closed under the "Woodin-in-the-next-ZFC-model" operator. We also discuss stronger Mouse Reflection principles which we show to follow from strengthenings of BPFA, and we discuss the theory BPFA plus "NS ω1 (...) is precipitous" and strengthenings thereof. Along the way, we answer a question of Baumgartner and Taylor. [2, Question 6.11]. (shrink)

The C (n)-cardinals were introduced recently by Bagaria and are strong forms of the usual large cardinals. For a wide range of large cardinal notions, Bagaria has shown that the consistency of the corresponding C (n)-versions follows from the existence of rank-into-rank elementary embeddings. In this article, we further study the C (n)-hierarchies of tall, strong, superstrong, supercompact, and extendible cardinals, giving some improved consistency bounds while, at the same time, addressing questions which had been left open. (...) In addition, we consider two cases which were not dealt with by Bagaria; namely, C (n)-Woodin and C (n)-strongly compact cardinals, for which we provide characterizations in terms of their ordinary counterparts. Finally, we give a brief account on the interaction of C (n)-cardinals with the forcing machinery. (shrink)

We show that if there is no inner model with a Woodin cardinal and the Steel core model K exists, then every Jónsson cardinal is Ramsey in K, and every δ-Jónsson cardinal is δ-Erdös in K. In the absence of the Steel core model K we prove the same conclusion for any model L[E] such that either V = L[E] is the minimal model for a Woodin cardinal, or there is no inner model with a Woodin cardinal (...) and V is a generic extension of L[E]. The proof includes one lemma of independent interest: If V = L[A], where A $\subset$ κ and κ is regular, then L κ [A] is a Jónsson algebra. The proof of this result, Lemma 2.5, is very short and entirely elementary. (shrink)

We show that the predicate “x is the power set of y” is ‐definable, if V = L[E] is an extender model constructed from a coherent sequences of extenders, provided that there is no inner model with a Woodin cardinal. Here is a predicate true of just the infinite cardinals. From this we conclude: the validities of second order logic are reducible to, the set of validities of the Härtig quantifier logic. Further we show that if no L[E] (...) model has a cardinal strong up to one of its ℵ‐fixed points, and, the Löwenheim number of this logic, is less than the least weakly inaccessible δ, then (i) is a limit of measurable cardinals of K, and (ii) the Weak Covering Lemma holds at δ. (shrink)

The present paper investigates the power of proper forcings to change the shape of the universe, in a certain well-defined respect. It turns out that the ranking among large cardinals can be used as a measure for that power. However, in order to establish the final result I had to isolate a new large cardinal concept, which I dubbed “remarkability.” Let us approach the exact formulation of the problem—and of its solution—at a slow pace.Breathtaking developments in the mid 1980s (...) found one of its culminations in the theorem, due to Martin, Steel, and Woodin, that the existence of infinitely many Woodin cardinals with a measurable cardinal above them all implies that AD, the axiom of determinacy, holds in the least inner model containing all the reals, L. One of the nice things about AD is that the theory ZF + AD + V = L appears as a choiceless “completion” of ZF in that any interesting question seems to find an at least attractive answer in that theory. Beyond that, AD is very canonical as may be illustrated as follows.Let us say that L is absolute for set-sized forcings if for all posets P ∈ V, for all formulae ϕ, and for all ∈ ℝ do we have thatwhere is a name for the set of reals in the extension. (shrink)

Assume that there is no transitive class model of [Formula: see text] with a Woodin cardinal. Let [Formula: see text] be a singular ordinal such that [Formula: see text] and [Formula: see text]. Suppose [Formula: see text] is a regular cardinal in K. Then [Formula: see text] is a measurable cardinal in K. Moreover, if [Formula: see text], then [Formula: see text].

We investigate measure and category in the projective hierarchie in the presence of large cardinals. Assuming a measurable larger than $n$ Woodin cardinals we construct a model where every $\Delta ^1_{n+4}$ -set is measurable, but some $\Delta ^1_{n+4}$ -set does not have Baire property. Moreover, from the same assumption plus a precipitous ideal on $\omega _1$ we show how a model can be forced where every $\Sigma ^1_{n+4}-$ set is measurable and has Baire property.

We present equiconsistency results at the level of subcompact cardinals. Assuming SBHδ, a special case of the Strategic Branches Hypothesis, we prove that if δ is a Woodin cardinal and both □ and □δ fail, then δ is subcompact in a class inner model. If in addition □ fails, we prove that δ is Π12\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_1^2}$$\end{document} subcompact in a class inner model. These results are optimal, and lead to equiconsistencies. As (...) a corollary we also see that assuming the existence of a Woodin cardinal δ so that SBHδ holds, the Proper Forcing Axiom implies the existence of a class inner model with a Π12\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_1^2}$$\end{document} subcompact cardinal. Our methods generalize to higher levels of the large cardinal hierarchy, that involve long extenders, and large cardinal axioms up to δ is δ+ supercompact for all n < ω. We state some results at this level, and indicate how they are proved. (shrink)

We lift Jensen's coding method into the context of Woodin cardinals. By a theorem of Woodin, any real which preserves a "strong witness" to Woodinness is set-generic. We show however that there are class-generic reals which are not set-generic but preserve Woodinness, using "weak witnesses".

A question of Woodin asks if $\kappa$ is strongly compact and GCH holds for all cardinals $\delta < \kappa$ , then must GCH hold everywhere. We get a negative answer to Woodin's question in the context of the negation of the Axiom of Choice.

Applying Woodin's non-stationary tower notion of forcing, I prove that the existence of a supercompact cardinal κ in V and a Ramsey dilator in some small forcing extension V[G] implies the existence in V of a measurable dilator of size κ, measurable by κ-complete measures.

We show that Weak Vopěnka’s Principle, which is the statement that the opposite category of ordinals cannot be fully embedded into the category of graphs, is equivalent to the large cardinal principle Ord is Woodin, which says that for every class [Formula: see text] there is a [Formula: see text]-strong cardinal. Weak Vopěnka’s Principle was already known to imply the existence of a proper class of measurable cardinals. We improve this lower bound to the optimal one by defining (...) structures whose nontrivial homomorphisms can be used as extenders, thereby producing elementary embeddings witnessing [Formula: see text]-strongness of some cardinal. (shrink)

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 [Formula: see text]-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. (shrink)

It is shown in ZF that if $\delta are such that δ and δ + are either both weakly compact or singular cardinals and Ω is large enough for putting the core model apparatus into action then there is an inner model with a Woodin cardinal.

We present Woodin's proof that if there exists a measurable Woodin cardinal δ, then there is a forcing extension satisfying all $\Sigma _{2}^{2}$ sentences ϕ such that CH + ϕ holds in a forcing extension of V by a partial order in V δ . We also use some of the techniques from this proof to show that if there exists a stationary limit of stationary limits of Woodin cardinals, then in a homogeneous forcing extension there (...) is an elementary embedding j: V → M with critical point $\omega _{1}^{V}$ such that M is countably closed in the forcing extension. (shrink)

We construct, assuming that there is no inner model with a Woodin cardinal but without any large cardinal assumption, a model Kc which is iterable for set length iterations, which is universal with respect to all weasels with which it can be compared, and is universal with respect to set sized premice.