Publication:3597425
From MaRDI portal
zbMath1158.03034MaRDI QIDQ3597425
Publication date: 9 February 2009
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
03E60: Determinacy principles
Related Items
HAPPY AND MAD FAMILIES INL(β), UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS, DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE, IN INNER MODELS WITH WOODIN CARDINALS, Maximal almost disjoint families, determinacy, and forcing, THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY, Determined admissible sets, Translation procedures in descriptive inner model theory, Equiconsistencies at subcompact cardinals, π²πΎπΊπ
πππ from iterability, The AD+ conjecture and the continuum hypothesis, The comparison lemma, NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON, Determinacy axioms and large cardinals, The exact consistency strength of the generic absoluteness for the universally Baire sets, Comparison of fine structural mice via coarse iteration, Covering with universally Baire operators, Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse, PFA and guessing models, A long pseudo-comparison of premice in \(L[x\)], \(L(\mathbb{R}, \mu)\) is unique, HOD in natural models of \(\mathsf{AD}^+\), The envelope of a pointclass under a local determinacy hypothesis, Preserving levels of projective determinacy by tree forcings, Determinacy from strong compactness of \(\omega_1\), Forcing axioms via ground model interpretations, KWithout the Measurable, Hod mice and the Mouse Set Conjecture, Determinacy from strong reflection