2011/10/28 by Asperó, David, Mota, Miguel Angel
#03E05 #03E35 #03E50 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1110.6383
We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and with symmetry constraints. Also, we show that a small variation of this construction produces a model of measuring together with the continuum being larger than the second uncountable cardinal.