Iteration Trees
From MaRDI portal
Publication:4276535
DOI10.2307/2152720zbMath0808.03035MaRDI QIDQ4276535
Publication date: 15 March 1995
Full work available at URL: https://doi.org/10.2307/2152720
large cardinals; iteration trees; Woodin cardinals; comparison of pre-mice; consistency of determinacy; tree orderings
Related Items
Strong Cardinals and Sets of Reals in Lω1(ℝ), Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model, Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, SEALING OF THE UNIVERSALLY BAIRE SETS, On the derived models of self-iterable universes, THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY, IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES, Woodin’s axiom (*), or Martin’s Maximum, or both?, The domestic levels of \(K^c\) are iterable, How to win some simple iteration games, Strong cardinals in the core model, Equiconsistencies at subcompact cardinals, The weak ultrafilter axiom, 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability, The Continuum Hypothesis, On -Strongly Measurable Cardinals, Comparison of fine structural mice via coarse iteration, The covering lemma up to a Woodin cardinal, Large cardinals and iteration trees of height \(\omega\), Inner models with many Woodin cardinals, Coherent sequences versus Radin sequences, Large cardinal axioms and independence: The continuum problem revisited, Mouse sets, Inner models in the region of a Woodin limit of Woodin cardinals, \(L(\mathbb{R}, \mu)\) is unique, Recognizable sets and Woodin cardinals: computation beyond the constructible universe, Projectively well-ordered inner models, Combinatorial principles in the core model for one Woodin cardinal, The consistency strength of projective absoluteness, \(\Pi_ 2^ 1\) Wadge degrees, Tall cardinals in extender models, Thin equivalence relations and inner models, Boolean-valued second-order logic, Hod mice and the Mouse Set Conjecture, Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular, A Proof of Projective Determinacy, The maximality of the core model
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generalizing the Mahlo hierarchy, with applications to the Mitchell models
- Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.
- Inner models with many Woodin cardinals
- A basis theorem for \(\sum^ 1_ 3\) sets of reals
- Measurable cardinals and \(\Delta^1_3\) well-orderings
- Sets constructed from sequences of measures: Revisited
- The core model for sequences of measures. I
- The covering lemma for L[U]
- Between strong and superstrong
- Supercompact cardinals, sets of reals, and weakly homogeneous trees
- A Proof of Projective Determinacy
- The core model
- Sets constructible from sequences of ultrafilters
- Some applications of iterated ultrapowers in set theory
- The fine structure of the constructible hierarchy
- Consistency-Proof for the Generalized Continuum-Hypothesis