scientific article; zbMATH DE number 967740

MaRDI QIDQ5690487zbMATHFDO

Authors John Steel

Publication date 19 January 1997

zbMATH Keywords

inner modelsWoodin cardinalscore modelsextendersiterabilitySkolem hullfine structure theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Descriptive set theory (03E15) Ordinal and cardinal numbers (03E10) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Iterates of the core model
• Core models with more Woodin cardinals
• scientific article; zbMATH DE number 1390274

Cited in

(95)

• The core model for sequences of measures. I
• A diamond-plus principle consistent with AD
• Coding into 𝐾 by reasonable forcing
• Forcing absoluteness and regularity properties
• Covering with universally Baire operators
• A weak Dodd-Jensen lemma
• On the free subset property at singular cardinals
• CHARACTERIZATION OF □_κ IN CORE MODELS
• In memoriam: James Earl Baumgartner (1943--2011)
• Strong Cardinals and Sets of Reals in Lω1(ℝ)
• Collapsing the cardinals of HOD
• An equiconsistency for universal indestructibility
• The self-iterability of L[E]
• Generic relativizations of fine structure
• Determinacy from strong reflection
• \(\Pi_ 2^ 1\) Wadge degrees
• Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties
• PFA implies AD^L(ℝ)
• Inner models and large cardinals
• Indexed squares
• Less saturated ideals
• Coherent sequences and threads
• Fine structure for tame inner models
• Strong cardinals in the core model
• Homogeneously Suslin sets in tame mice
• scientific article; zbMATH DE number 1390274 (Why is no real title available?)
• An outline of inner model theory
• The core model for almost linear iterations
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• Weak Covering at Large Cardinals
• \(K\) without the measurable
• The consistency strength of projective absoluteness
• Jónsson cardinals, Erdős cardinals, and the core model
• Deconstructing inner model theory
• The domestic levels of \(K^c\) are iterable
• Iterability for (transfinite) stacks
• Projective well-orderings of the reals
• Combinatorial principles in the core model for one Woodin cardinal
• VARSOVIAN MODELS I
• On the indestructibility aspects of identity crisis
• The cardinals below \(|[\omega_{1}]^{<\omega _{1}}|\)
• Supercomplete extenders and type 1 mice. I
• The strength of choiceless patterns of singular and weakly compact cardinals
• Hod mice and the mouse set conjecture
• Indiscernible sequences for extenders, and the singular cardinal hypothesis
• A finite family weak square principle
• Core models with more Woodin cardinals
• Homogeneous iteration and measure one covering relative to HOD
• Iterates of the core model
• The covering lemma up to a Woodin cardinal
• A criterion for coarse iterability
• Large cardinals, inner models, and determinacy: an introductory overview
• The maximality of the core model
• On -Strongly Measurable Cardinals
• The consistency strength of successive cardinals with the tree property
• On the consistency strength of two choiceless cardinal patterns
• Stacking mice
• Cardinal transfer properties in extender models
• Square principles in \(\mathbb{P}_{\max}\) extensions
• PFA and guessing models
• Core models in the presence of Woodin cardinals
• Inner models in the region of a Woodin limit of Woodin cardinals
• Mouse sets
• Kunen and set theory
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
• Projective uniformization revisited
• A simple maximality principle
• Successive weakly compact or singular cardinals
• How many real numbers are there?
• Homogeneously Souslin sets in small inner models
• Covering with Chang models over derived models
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• Local K^c constructions
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Inner model theoretic geology
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• Countable ordinals in indiscernibility spectra
• Ideals and strong axioms of determinacy
• When cardinals determine the power set: inner models and Härtig quantifier logic
• Covering at limit cardinals of K
• Forcing and the universe of sets: must we lose insight?
• Downward transference of mice and universality of local core models
• Forcing the Σ31-separation property
• A brief account of recent developments in inner model theory
• On the Reals Which Cannot Be Random
• Models of set theory in which the separation theorem fails
• THE ABC'S of Mice
• Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model
• Perfect subtree property for weakly compact cardinals
• The definability of \(\mathbb{E}\) in self-iterable mice
• Chang's conjecture and semiproperness of nonreasonable posets
• Distinct iterable branches
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• A universal extender model without large cardinals in V

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5690487)