2012/03/06 by David Asperó, Asperó, David, Miguel Ángel Mota +1
Computer Science · Mathematics · #03E05 #03E35 #03E50 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.1203.1238
openalex publication_date 2012/03/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
One of the most frustrating problems faced by set theorists working with iterated proper forcing is the lack of techniques for producing models in which the continuum has size greater than the second uncountable cardinal. In this paper we solve this problem in the specific case of measuring, a very strong negation of Club Guessing introduced by Justin Moore.