scientific article; zbMATH DE number 5504385

MaRDI QIDQ3597425zbMATH OpenFDO

Authors John Steel

Publication date 9 February 2009

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Recommendations

• DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
• MICE: Multiple‐Peak Identification, Characterization, and Estimation
• The fine structure of real mice
• Homogeneously Suslin sets in tame mice
• scientific article; zbMATH DE number 3916081
• Mathematical models for hantavirus infection in rodents
• Models for Papilloma Multiplicity and Regression: Applications to Transgenic Mouse Studies
• Heterogeneous organ models

Cited in

(45)

• A long pseudo-comparison of premice in \(L[x]\)
• \(L(\mathbb{R}, \mu)\) is unique
• The real core model and its scales
• Covering with Chang models over derived models
• HOD in natural models of \(\mathsf{AD}^+\)
• The envelope of a pointclass under a local determinacy hypothesis
• Preserving levels of projective determinacy by tree forcings
• Determinacy from strong compactness of \(\omega_1\)
• Forcing axioms via ground model interpretations
• K without the measurable
• On the prewellorderings associated with the directed systems of mice
• Hod mice and the mouse set conjecture
• Pure and hybrid mice with finitely many Woodin cardinals from levels of determinacy
• Determinacy from strong reflection
• The derived model theorem
• Comparison of fine structural mice via coarse iteration
• The fine structure of real mice
• Happy and mad families in \(L(\mathbb{R})\)
• Universally Baire sets and generic absoluteness
• DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
• Covering with universally Baire operators
• A weak Dodd-Jensen lemma
• Downward transference of mice and universality of local core models
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• HOD in inner models with Woodin cardinals
• PFA and guessing models
• On the derived models of self-iterable universes
• Maximal almost disjoint families, determinacy, and forcing
• The consistency strength of long projective determinacy
• Determined admissible sets
• A stationary-tower-free proof of the derived model theorem
• Translation procedures in descriptive inner model theory
• The mouse set conjecture for sets of reals
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• The AD+ conjecture and the continuum hypothesis
• Equiconsistencies at subcompact cardinals
• The comparison lemma
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
• Determinacy axioms and large cardinals
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• Ideals and strong axioms of determinacy
• Unreachability of inductive-like pointclasses in \(L(\mathbb{R})\)
• The consistency strength of determinacy when all sets are universally Baire
• \(\mathsf{AD}^+\) implies \(\omega_1\) is a club \(\Theta\)-Berkeley cardinal
• Towards a generic absoluteness theorem for Chang models

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 Q3597425)