2007/03/03 by Matteo Viale, Viale, Matteo
Computer Science · Mathematics · #03E05 #03E10 #03E65 #03E75 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras #math.LO #msc:03E05 #msc:03E10 #msc:03E65 #msc:03E75
paper · pdf · doi:10.48550/arxiv.math/0703091
21 pages
arxiv created 2007/03/03 · openalex publication_date 2007/03/03 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering properties are also applied to investigate models of strongly compact cardinals or of strong forcing axioms like MM or PFA.