A parametrized $♢$ for the Laver property and nontrivial automorphisms of $\mathcal{P}(\omega )/\mathrm{Fin}$

Will Brian, Alan Dow

We introduce a new parametrized diamond principle denoted $♢(\mathsf{LP})$. This principle is akin to the parametrized diamonds of Moore, Hrušák, and Džamonja, each of w…