Logic Seminar

Shihao XiongCornell University
Higher Open Coloring Axiom in the Generalized Solovay Model

Tuesday, October 8, 2019 - 2:55pm
Malott 206

The Open Coloring Axiom (OCA) is a combinatorial principal which is consistent with ZFC and follows from the Proper Forcing Axiom. In 1993,
Feng proved that OCA actually holds in the Solovay model. I will present an argument which generalizes this proof to higher regular cardinals: For any
regular cardinal $\kappa$, the generalized version of OCA at $\kappa$ holds in the corresponding generalized Solovay model.