Measuring club sequences, together with the Continuum Hypothesis
classification
🧮 math.LO
keywords
measuringtogetherconstructioncontinuumforcingmodelanswerbuilding
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.