2024/02/19 by Diego A. Mejía, Mejía, Diego A.
Physics and Astronomy · #03E17 #03E35 #03E40 #Experimental and Theoretical Physics Studies #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2402.11852
openalex publication_date 2024/02/19 · openalex created_date 2024/02/21 · openalex updated_date 2026/07/28
Cichoń's diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010's, Goldstern, Kellner and Shelah constructed a forcing model of Cichoń's Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichoń's Maximum model and much more.