2019/11/11 by Omer Ben-Neria, Ben-Neria, Omer, Yair Hayut +1
Computer Science · Mathematics · #03E35 #03E45 #03E55 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.1911.04568
openalex publication_date 2019/11/11 · openalex created_date 2022/11/29 · openalex updated_date 2026/07/28
We prove several consistency results concerning the notion of ω-strongly measurable cardinal in HOD. In particular, we show that is it consistent, relative to a large cardinal hypothesis weaker than o(κ) = κ, that every successor of a regular cardinal is ω-strongly measurable in HOD.