Abstract
We develop a general framework for forcing with coherent adequate sets on [Formula: see text] as side conditions, where [Formula: see text] is a cardinal of uncountable cofinality. We describe a class of forcing posets which we call coherent adequate type forcings. The main theorem of the paper is that any coherent adequate type forcing preserves CH. We show that there exists a forcing poset for adding a club subset of [Formula: see text] with finite conditions while preserving CH, solving a problem of Friedman [Forcing with finite conditions, in Set Theory: Centre de Recerca Matemática, Barcelona, 2003–2004, Trends in Mathematics (Birkhäuser-Verlag, 2006), pp. 285–295.].
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have