scientific article
From MaRDI portal
Publication:3597425
zbMath1158.03034MaRDI QIDQ3597425
Publication date: 9 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)
Related Items (29)
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
This page was built for publication:
