We introduce a covering conjecture and show that it holds below AD R + "Θ is regular". We then use it to show that in the presence of mild large cardinal axioms, P F A implies that there is a transitive model containing the reals and ordinals and satisfying AD R + "Θ is regular". The method used to prove the Main Theorem of this paper is the core model induction. The paper contains the first application of the core model induction that goes significantly beyond the region of AD + + θ 0 < Θ.One of the central themes in set theory is to identify canonical inner models which compute successor cardinals correctly. A prototype of such results is Jensen's famous covering theorem which in particular implies that provided 0 # doesn't exist, for every cardinal κ ≥ ω 2 , cf((κ + ) L ) ≥ κ where L is the constructible universe.Clearly "canonical inner model" is open for interpretations. For an inner model theorist, the canonical objects of a set theoretic universe are the sets coded by a mixture of fine extender sequences and the universally Baire sets. Recall that a set of reals is universally Baire if its continuous preimages in all compact Hausdorff spaces have the property of Baire 1 . * 2000 Mathematics Subject Classifications: 03E15, 03E45, 03E60. † Keywords: Mouse, inner model theory, descriptive set theory, hod mouse, core model induction, UBH. ‡ This material is partially based upon work supported by the NSF Grant No DMS-1201348. Part of this paper was written while the author was a Leibniz Fellow at the Mathematisches Forschungsinstitut Oberwolfach.1 A set of reals is said to have the property of Baire if it is different from an open set by a meager set. 1In more set theoretic terms, a set of reals A is κ-universally Baire (or simply κ-uB) if there are trees T and S on κ × ω such that p[T ] = A and for every partial ordering P of size < κ and for every generic g ⊆ P, In most cases, to show that a K c construction converges it is enough to show that the countable submodels of the models produced during the K c construction are countably iterable. This is the content of the iterability conjecture of [19] (see Conjecture 6.5 of [19]). The best partial result is that a K c construction converges provided there is no non-domestic mouse (see [1]). One of the modern new techniques in inner model theory is the core model 2 induction and the work in this paper started by asking how the core model induction can be used to prove instances of the iterability conjecture. We remark that from now on by "K c construction" we mean the K c construction intro-Naturally, an inner model theorist will conjecture that transitive inner models that are closed under all the universally Baire sets of the universe and also are closed under robust embeddings have covering properties, i.e., if M is this hypothetical universe then for many cardinals κ, cf ((κ + ) M ) ≥ κ. Taking this intuition seriously, when we try to prove the iterability conjecture via core model induction, instead of proving instances of iterability conjecture, we ...
Abstract. In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees implies that in some homogenous generic extension of V there is a transitive model M containing Ord ∪ R such that M AD + + Θ > θ 0 . In particular, this implies the existence (in V ) of a non-tame mouse. The results of this paper significantly extend J. R. Steel's earlier results for tame trees.
Let Msw denote the least iterable inner model with a strong cardinal above a Woodin cardinal. By [11], Msw has a fully iterable core model, ${K^{{M_{{\rm{sw}}}}}}$, and Msw is thus the least iterable extender model which has an iterable core model with a Woodin cardinal. In V, ${K^{{M_{{\rm{sw}}}}}}$ is an iterate of Msw via its iteration strategy Σ.We here show that Msw has a bedrock which arises from ${K^{{M_{{\rm{sw}}}}}}$ by telling ${K^{{M_{{\rm{sw}}}}}}$ a specific fragment ${\rm{\bar{\Sigma }}}$ of its own iteration strategy, which in turn is a tail of Σ. Hence Msw is a generic extension of $L[{K^{{M_{{\rm{sw}}}}}},{\rm{\bar{\Sigma }}}]$, but the latter model is not a generic extension of any inner model properly contained in it.These results generalize to models of the form Ms (x) for a cone of reals x, where Ms (x) denotes the least iterable inner model with a strong cardinal containing x. In particular, the least iterable inner model with a strong cardinal above two (or seven, or boundedly many) Woodin cardinals has a 2-small core model K with a Woodin cardinal and its bedrock is again of the form $L[K,{\rm{\bar{\Sigma }}}]$.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.