Homogeneous iteration and measure one covering relative to HOD
From MaRDI portal
Publication:953279
DOI10.1007/s00153-008-0103-5zbMath1153.03034OpenAlexW2035571970MaRDI QIDQ953279
Natasha Dobrinen, Sy-David Friedman
Publication date: 17 November 2008
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-008-0103-5
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)
Related Items
On -Strongly Measurable Cardinals ⋮ On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ Equivalence of generics ⋮ Easton's theorem in the presence of Woodin cardinals ⋮ On extendible cardinals and the GCH ⋮ Subcompact cardinals, squares, and stationary reflection ⋮ SOME APPLICATIONS OF SUPERCOMPACT EXTENDER BASED FORCINGS TO HOD ⋮ Homogeneous changes in cofinalities with applications to HOD ⋮ Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ More on HOD-supercompactness ⋮ The definable tree property for successors of cardinals ⋮ Ultrahuge cardinals ⋮ Large cardinals and gap-1 morasses ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
Cites Work
