scientific article; zbMATH DE number 967740

zbMATH Open0864.03035MaRDI QIDQ5690487FDOQ5690487

Authors: John Steel 

Publication date: 19 January 1997

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (95)

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

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)