Publication:5439452
From MaRDI portal
zbMath1136.03034MaRDI QIDQ5439452
Publication date: 11 February 2008
survey; inner model; iterated forcing; Woodin cardinal; outer model; superstrong cardinal; gap 1 morass
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
Related Items
ON C(n)-EXTENDIBLE CARDINALS, The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond, On extendible cardinals and the GCH, Definable normal measures, Large cardinals need not be large in HOD, Indestructibility of Vopěnka's principle, Homogeneous iteration and measure one covering relative to HOD, Large cardinals and locally defined well-orders of the universe, Large cardinals and gap-1 morasses, Forcing lightface definable well-orders without the GCH, Rank-into-rank hypotheses and the failure of GCH, Strong combinatorial principles and level by level equivalence, A quasi-lower bound on the consistency strength of PFA