Iteration Trees
From MaRDI portal
Recommendations
- Large cardinals and iteration trees of height \(\omega\)
- Building iteration trees
- Inner models with many Woodin cardinals
- scientific article; zbMATH DE number 567513
- Core models with more Woodin cardinals
- Suitable extender models. I
- Core models in the presence of Woodin cardinals
- Large cardinals from determinacy
- Iterates of the core model
- Fine structure for tame inner models
Cites work
- A basis theorem for \(\sum^ 1_ 3\) sets of reals
- A Proof of Projective Determinacy
- Between strong and superstrong
- Consistency-Proof for the Generalized Continuum-Hypothesis
- Generalizing the Mahlo hierarchy, with applications to the Mitchell models
- scientific article; zbMATH DE number 3930999 (Why is no real title available?)
- scientific article; zbMATH DE number 3532947 (Why is no real title available?)
- scientific article; zbMATH DE number 567513 (Why is no real title available?)
- Inner models with many Woodin cardinals
- Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
- Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Measurable cardinals and \(\Delta^1_3\) well-orderings
- Sets constructed from sequences of measures: Revisited
- Sets constructible from sequences of ultrafilters
- Some applications of iterated ultrapowers in set theory
- Supercompact cardinals, sets of reals, and weakly homogeneous trees
- The core model
- The core model for sequences of measures. I
- The covering lemma for L[U]
- The fine structure of the constructible hierarchy
Cited in
(59)- 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
- Object-oriented tree traversal with JJForester.
- 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
- STIT process and trees
- On the prewellorderings associated with the directed systems of mice
- Hod mice and the mouse set conjecture
- Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular
- Pure and hybrid mice with finitely many Woodin cardinals from levels of determinacy
- The derived model theorem
- Iterated joining of rooted trees
- A Proof of Projective Determinacy
- Building iteration trees
- Comparison of fine structural mice via coarse iteration
- The maximality of the core model
- Strong Cardinals and Sets of Reals in Lω1(ℝ)
- scientific article; zbMATH DE number 567513 (Why is no real title available?)
- Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model
- Fine structure for tame inner models
- 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-\(L\). The 19th Midrasha mathematicae lectures
- Woodin’s axiom (*), or Martin’s Maximum, or both?
- Iterates of M₁
- 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
- The Continuum Hypothesis
- On -Strongly Measurable Cardinals
- 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
- The comparison lemma
- Forcing revisited
- WHAT IS A RESTRICTIVE THEORY?
- The exact consistency strength of the generic absoluteness for the universally Baire sets
- An introduction to iterated ultrapowers
- Weak indestructibility and reflection
- The covering lemma up to a Woodin cardinal
- Hjorth's reflection argument
- Gödel's program in set theory
- Of sheep and wolves: equivalence and disagreement in set theory
- A model of the axiom of determinacy in which every set of reals is universally Baire
- Towards a generic absoluteness theorem for Chang models
- Origin and development of the theory of coremodels. II
This page was built for publication: Iteration Trees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4276535)
