The $\kappa$-Strongly Proper Forcing Axiom

David Asperó, Sean Cox, Asaf Karagila +1

We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta >\kappa$ to get the cons…