A Comparison Process for Mouse Pairs

DOI10.1017/9781108886840MaRDI QIDQ5039707zbMATH OpenOpenAlexFDO

Authors John Steel

Publication date 3 October 2022

Full work available at URL https://doi.org/10.1017/9781108886840

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Recommendations

• Inner models and large cardinals
• An outline of inner model theory
• Report 20/2006: Mini-workshop: Feinstrukturtheorie und innere Modelle (April 30th -- May 6th, 2006)
• Beginning inner model theory
• Comparison of fine structural mice via coarse iteration

Cited in

(9)

• Fine structure for tame inner models
• The AD+ conjecture and the continuum hypothesis
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• Determinacy in the Chang model
• The equivalence of axiom \(( \ast )^+\) and axiom \(( \ast )^{+ +}\)
• The consistency strength of determinacy when all sets are universally Baire
• \(\mathsf{AD}^+\) implies \(\omega_1\) is a club \(\Theta\)-Berkeley cardinal
• On \(\omega\)-strongly measurable cardinals in \(\mathbb{P}_{\max}\) extensions
• Low level definability above large cardinals

This page was built for publication: A Comparison Process for Mouse Pairs

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