Homogeneous iteration and measure one covering relative to HOD

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

zbMATH Keywords

homogeneityHODmeasure one covering

Mathematics Subject Classification ID

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

• Large cardinals and gap-1 morasses
• Set theory. An introduction to independence proofs
• Iterated Forcing and Elementary Embeddings
• Internal consistency and global co-stationarity of the ground model
• Unnamed Item
• Unnamed Item
• Unnamed Item