Incompatible category forcing axioms

MaRDI QIDQ6301947zbMATH OpenFDO

Publication date 22 May 2018

Abstract: Given a cardinal

l a m b d a

, category forcing axioms for

l a m b d a

-suitable classes

G a m m a

are strong forcing axioms which completely decide the theory of the Chang model

m a t h c a l C_{l} a m b d a

, modulo generic extensions via forcing notions from

G a m m a

.

m a t h s f {M M}^{+ + +}

was the first category forcing axiom to be isolated (by the second author). In this paper we present, without proofs, a general theory of category forcings, and prove the existence of

a l e p h_{1}

-many pairwise incompatible category forcing axioms for

o m e g a_{1}

-suitable classes.

This page was built for publication: Incompatible category forcing axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6301947)