Measuring club sequences, together with the Continuum Hypothesis
Logic
2011-11-14 v2
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.
Cite
@article{arxiv.1110.6383,
title = {Measuring club sequences, together with the Continuum Hypothesis},
author = {David Asperó and Miguel Angel Mota},
journal= {arXiv preprint arXiv:1110.6383},
year = {2011}
}
Comments
This paper has been momentarily withdrawn due to a gap in the proof of lemma 3.8