scientific article; zbMATH DE number 967740

MaRDI QIDQ5690487zbMATH OpenFDO

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)

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

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)