scientific article

zbMath1158.03034MaRDI QIDQ3597425

J. R. Steel

Publication date: 9 February 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

A long pseudo-comparison of premice in \(L[x\)], Determinacy from strong reflection, Maximal almost disjoint families, determinacy, and forcing, Preserving levels of projective determinacy by tree forcings, Determinacy from strong compactness of \(\omega_1\), HAPPY AND MAD FAMILIES INL(ℝ), Hod mice and the Mouse Set Conjecture, \(L(\mathbb{R}, \mu)\) is unique, Comparison of fine structural mice via coarse iteration, The comparison lemma, Translation procedures in descriptive inner model theory, THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY, NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON, Determinacy axioms and large cardinals, UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS, The exact consistency strength of the generic absoluteness for the universally Baire sets, Forcing axioms via ground model interpretations, Covering with universally Baire operators, DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE, Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse, PFA and guessing models, HOD in natural models of \(\mathsf{AD}^+\), Equiconsistencies at subcompact cardinals, Determined admissible sets, 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability, IN INNER MODELS WITH WOODIN CARDINALS, KWithout the Measurable, The envelope of a pointclass under a local determinacy hypothesis, The AD+ conjecture and the continuum hypothesis