Iteration Trees
From MaRDI portal
Publication:4276535
DOI10.2307/2152720zbMath0808.03035OpenAlexW4250103425MaRDI QIDQ4276535
Publication date: 15 March 1995
Full work available at URL: https://doi.org/10.2307/2152720
large cardinalsiteration treesWoodin cardinalscomparison of pre-miceconsistency of determinacytree orderings
Related Items
The Continuum Hypothesis, On -Strongly Measurable Cardinals, IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES, Strong Cardinals and Sets of Reals in Lω1(ℝ), Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model, Coherent sequences versus Radin sequences, Large cardinal axioms and independence: The continuum problem revisited, Projectively well-ordered inner models, Combinatorial principles in the core model for one Woodin cardinal, The consistency strength of projective absoluteness, Mouse sets, \(\Pi_ 2^ 1\) Wadge degrees, Hod mice and the Mouse Set Conjecture, \(L(\mathbb{R}, \mu)\) is unique, Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular, Comparison of fine structural mice via coarse iteration, The comparison lemma, Woodin’s axiom (*), or Martin’s Maximum, or both?, Forcing revisited, THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY, WHAT IS A RESTRICTIVE THEORY?, Recognizable sets and Woodin cardinals: computation beyond the constructible universe, The exact consistency strength of the generic absoluteness for the universally Baire sets, Large cardinals and iteration trees of height \(\omega\), The covering lemma up to a Woodin cardinal, Thin equivalence relations and inner models, 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, Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, Tall cardinals in extender models, 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability, A Proof of Projective Determinacy, Boolean-valued second-order logic, SEALING OF THE UNIVERSALLY BAIRE SETS, Inner models with many Woodin cardinals, Inner models in the region of a Woodin limit of Woodin cardinals, The maximality of the core model, On the derived models of self-iterable universes
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
