The derived model theorem

MaRDI QIDQ3656432zbMATH OpenFDO

Authors John Steel

Publication date 13 January 2010

zbMATH Keywords

determinacygeneric absolutenesslarge cardinalsscale propertystationary tower forcinguniversal Bairenessweak homogeneity

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

(33)

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

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)