Coherent Adequate Forcing and CH | Department of Mathematics

Coherent Adequate Forcing and CH

Event Information
Event Location: 
GAB 461
Event Date: 
Friday, April 11, 2014 - 2:00pm

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.