The derived model theorem

MaRDI QIDQ3656432zbMATH OpenFDO

Authors John Steel

Publication date 13 January 2010

zbMATH Keywords

determinacylarge cardinalsgeneric absolutenessweak homogeneityscale propertystationary tower forcinguniversal Baireness

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Determinacy principles (03E60)

Recommendations

• Large cardinals from determinacy
• A stationary-tower-free proof of the derived model theorem
• scientific article; zbMATH DE number 5504385
• Iteration Trees
• Derived models and supercompact measures on \(\wp_{\omega_1}(\wp(\mathbb{R}))\)

Cited in

(32)

• Universally Baire sets and generic absoluteness
• The AD+ conjecture and the continuum hypothesis
• Translation procedures in descriptive inner model theory
• The envelope of a pointclass under a local determinacy hypothesis
• Hod mice and the mouse set conjecture
• DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
• A model of the axiom of determinacy in which every set of reals is universally Baire
• An undecidable extension of Morley's theorem on the number of countable models
• On \(\omega\)-strongly measurable cardinals in \(\mathbb{P}_{\max}\) extensions
• Long Borel games
• A stationary-tower-free proof of the derived model theorem
• Part 1 of Martin's conjecture for order-preserving and measure-preserving functions
• Determinacy in the Chang model
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
• When a relation with all Borel sections will be Borel somewhere?
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• The comparison lemma
• Covering with universally Baire operators
• On the derived models of self-iterable universes
• Uniformization and internal absoluteness
• Divergent models with the failure of the continuum hypothesis
• The consistency strength of determinacy when all sets are universally Baire
• Gödel's program in set theory
• Applying generic coding with help to uniformizations
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• Large cardinals from determinacy
• Determinacy axioms and large cardinals
• SEALING OF THE UNIVERSALLY BAIRE SETS
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• Towards a generic absoluteness theorem for Chang models
• \(\mathsf{AD}^+\) implies \(\omega_1\) is a club \(\Theta\)-Berkeley cardinal
• Determined admissible sets

This page was built for publication: The derived model theorem

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