Set-theoretic inevitability

Chris Scambler, Cesare Straffelini

After defining the concept of inevitability for statements with the modal logic of forcing, we raise the question of which statements are inevitable under $\mathsf{ZFC}$ and under…