We show in ZFC that if there is no proper class inner model with a Woodin cardinal, then there is an absolutely definablecore modelthat is close toVin various ways.

We present a general construction of a □κ-sequence in Jensen's fine structural extender models. This construction yields a local definition of a canonical □κ-sequence as well as a characterization of those cardinals κ, for which the principle □κ fails. Such cardinals are called subcompact and can be described in terms of elementary embeddings. Our construction is carried out abstractly, making use only of a few fine structural properties of levels of the model, such as solidity and condensation.

We give modest upper bounds for consistency strengths for two well-studied combinatorial principles. These bounds range at the level of subcompact cardinals, which is significantly below a κ+-supercompact cardinal. All previously known upper bounds on these principles ranged at the level of some degree of supercompactness. We show that by using any of the standard modified Prikry forcings it is possible to turn a measurable subcompact cardinal into ℵω and make the principle □ℵω,<ω fail in the generic extension. We also (...) show that by using Lévy collapse followed by standard iterated club shooting it is possible to turn a subcompact cardinal into ℵ2 and arrange in the generic extension that simultaneous reflection holds at ℵ2, and at the same time, every stationary subset of ℵ3 concentrating on points of cofinality ω has a reflection point of cofinality ω1. (shrink)

The interaction between large cardinals, determinacy of two-person perfect information games, and inner model theory has been a singularly powerful driving force in modern set theory during the last three decades. For the outsider the intellectual excitement is often tempered by the somewhat daunting technicalities, and the seeming length of study needed to understand the flow of ideas. The purpose of this article is to try and give a short, albeit rather rough, guide to the broad lines of development.

We prove that if image is a Jensen extender model, then image satisfies the Gap-1 morass principle. As a corollary to this and a theorem of Jensen, the model image satisfies the Gap-2 Cardinal Transfer Property → for all infinite cardinals κ and λ.

A cardinal κ is nearly θ-supercompact if for every A⊆θ, there exists a transitive M⊨ZFC− closed under θ and j″θ∈N.2 This concept strictly refines the θ-supercompactness hierarchy as every θ-supercompact cardinal is nearly θ-supercompact, and every nearly 2θ<κ-supercompact cardinal κ is θ-supercompact. Moreover, if κ is a θ-supercompact cardinal for some θ such that θ<κ=θ, we can move to a forcing extension preserving all cardinals below θ++ where κ remains θ-supercompact but is not nearly θ+-supercompact. We will also show that (...) if κ is nearly θ-supercompact for some θ⩾2κ such that θ<θ=θ, then there exists a forcing extension preserving all cardinals at or above κ where κ is nearly θ-supercompact but not measurable. These types of large cardinals also come equipped with a nontrivial indestructibility result. A forcing poset is <κ-directed closed if it is γ-directed closed for all γ<κ in the sense of Jech [13, Def. 21.6]. We will prove that if κ is nearly θ-supercompact for some θ⩾κ such that θ<θ=θ, then there is a forcing extension where its near θ-supercompactness is preserved and indestructible by any further <κ-directed closed θ-c.c. forcing of size at most θ. Finally, these cardinals have high consistency strength. Specifically, we will show that if κ is nearly θ-supercompact for some θ⩾κ+ for which θ<θ=θ, then AD holds in L. In particular, if κ is nearly κ+-supercompact and 2κ=κ+, then AD holds in L. (shrink)

We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters; among them: If m ≥ 1 and the ultrafilter D is , equation imagem)-regular, then D is κ -decomposable for some κ with λ ≤ κ ≤ 2λ ). If λ is a strong limit cardinal and D is , equation imagem)-regular, then either D is -regular or there are arbitrarily large κ < λ for which D is κ -decomposable ). Suppose that λ is singular, (...) λ < κ, cf κ ≠ cf λ and D is -regular. Then: D is either -regular, or -regular for some λ' < λ . If κ is regular, then D is either -regular, or -regular for every κ' < κ . If either λ is a strong limit cardinal and λ<λ < 2κ, or λ<λ < κ, then D is either λ -decomposable, or -regular for some λ' < λ . If λ is singular, D is -regular and there are arbitrarily large ν < λ for which D is ν -decomposable, then D is κ -decomposable for some κ with λ ≤ κ ≤ λ<μ . D × D' is -regular if and only if there is a ν such that D is -regular and D' is -regular for all ν∼ < ν .We also list some problems, and furnish applications to topological spaces and to extended logics. (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".

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.

We extend the construction of a global square sequence in extender models from Zeman [8] to a construction of coherent non-threadable sequences and give a characterization of stationary reflection at inaccessibles similar to Jensen’s characterization in L.

We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.

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 present a construction of a global square sequence in extender models with λ-indexing.

We study generalizations of Dodd parameters and establish their fine structural properties in Jensen extender models with λ-indexing. These properties are one of the key tools in various combinatorial constructions, such as constructions of square sequences and morasses.

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.

We study closure properties of measurable ultrapowers with respect to Hamkin's notion of freshness and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double successor of a measurable cardinal, it is possible to obtain a model of set theory in which such ultrapowers possess the strongest possible closure properties. In the (...) other direction, we use various square principles to show that measurable ultrapowers of canonical inner models only possess the minimal amount of closure properties. In addition, the techniques developed in the proofs of these results also allow us to derive statements about the consistency strength of the existence of measurable ultrapowers with non-minimal closure properties. (shrink)