On Indestructible Strongly Guessing Models

Authors Rahman Mohammadpour, Boban Velickovic

Publication date 30 March 2023

Consistency and independence results (03E35) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57) Other set-theoretic hypotheses and axioms (03E65)

Abstract: In [14] we defined and proved the consistency of the principle

{m G M}^{+} (o m e g a_{3}, o m e g a_{1})

which implies that many consequences of strong forcing axioms hold simultaneously at

o m e g a_{2}

and

o m e g a_{3}

. In this paper we formulate a strengthening of

{m G M}^{+} (o m e g a_{3}, o m e g a_{1})

that we call

{m S G M}^{+} (o m e g a_{3}, o m e g a_{1})

. We also prove, modulo the consistency of two supercompact cardinals, that

{m S G M}^{+} (o m e g a_{3}, o m e g a_{1})

is consistent with ZFC. In addition to all the consequences of

{m G M}^{+} (o m e g a_{3}, o m e g a_{1})

, the principle

{m G S M}^{+} (o m e g a_{3}, o m e g a_{1})

, together with some mild cardinal arithmetic assumptions that hold in our model, implies that any forcing that adds a new subset of

o m e g a_{2}

either adds a real or collapses some cardinal. This gives a partial answer to a question of Abraham [1] and extends a previous result of Todorv{c}evi'c [15] in this direction.

This page was built for publication: On Indestructible Strongly Guessing Models

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