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, 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, 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, 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, Thin equivalence relations and inner models, Boolean-valued second-order logic, Hod mice and the Mouse Set Conjecture, 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