Laver ultrafilters
Silvan Horvath, Tan \"Ozalp

TL;DR
This paper introduces Laver ultrafilters, characterizes their combinatorial properties, compares them with other ultrafilter classes, and explores their generic existence within set theory.
Contribution
It defines Laver ultrafilters, provides combinatorial characterizations, and analyzes their position among known ultrafilter classes, including their existence conditions.
Findings
Laver ultrafilters properly contain rapid P-points.
They are properly contained in hereditarily rapid and measure zero ultrafilters.
It is consistent that P-points do not exist while Laver ultrafilters do.
Abstract
We introduce , namely ultrafilters for which the associated Laver forcing 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 -points, rapid ultrafilters, and ultrafilters arising in Baumgartner's -ultrafilter framework. In particular, we show that the class of Laver ultrafilters properly contains the class of rapid -points and that it is properly contained both in the class of hereditarily rapid- and in the class of measure zero ultrafilters. Finally, we investigate the (generic) existence of Laver ultrafilters and establish bounds on their generic existence number. In particular, we show that it is consistent that -points do not exist while Laver…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Mathematical Dynamics and Fractals · Holomorphic and Operator Theory
