Incompatible category forcing axioms

David Aspero, Matteo Viale

Given a cardinal $\lambda$, category forcing axioms for $\lambda$-suitable classes $\Gamma$ are strong forcing axioms which completely decide the theory of the Chang model ${\mathcal{C}}_{\lambda }$, modulo ge…