{"id":"arxiv/2602.01478","url":"https://arxiv.org/abs/2602.01478","tags":["math.LO"],"score":0,"title":"Laver ultrafilters","domain":"math.LO","source":"arxiv","authors":["Silvan Horvath","Tan Özalp"],"reviews":0,"subject":"math.LO","summary":"We introduce $\\textit{Laver ultrafilters}$, namely ultrafilters $\\mathcal{U}$ for which the associated Laver forcing $\\mathbb{L}_{\\mathcal{U}}$ has the Laver property. We give simple combinatorial characterisations of these ultrafilters, which allow us to analyse their position among several well-studied combinatorial classes, including $P$-points, rapid ultrafilters, and ultrafilters arising in Baumgartner's $\\mathcal{I}$-ultrafilter framework. In particular, we show that the class of Laver ultrafilters properly contains the class of rapid $P$-points and that it is properly contained both…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-01","reactions":{}}