Abstract: In previous work we introduced adequate sets of models which can be used as side conditions when forcing objects on ω2 with finite conditions. In this talk we will discuss coherent adequate sets, which are adequate sets with an additional isomorphism structure on the models. Contrary to what one would expect when forcing with finite conditions on ω2, we show that coherent adequate style forcings, while adding reals, will always preserve CH. The talk will be accessible to someone with a basic background in set theory and forcing.
Thinking about UNT?
It's easy to apply online. Join us and discover why we're the choice of over 46,000 students.
Apply now