Laver ultrafilters

Silvan Horvath, Tan Özalp

We introduce $\text{Laver ultrafilters}$, namely ultrafilters $\mathcal{U}$ for which the associated Laver forcing ${\mathbb{L}}_{\mathcal{U}}$ has the Laver property. We give simp…