scientific article; zbMATH DE number 967740

MaRDI QIDQ5690487zbMATH OpenFDO

Authors John Steel

Publication date 19 January 1997

zbMATH Keywords

core modelsextendersfine structure theoryinner modelsiterabilitySkolem hullWoodin cardinals

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(only showing first 100 items - show all)

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

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)