Isomorphism Classes of Generating Sets
Abstract
We introduce a new class of ultrafilters which generalizes the well-known class of simple P-point ultrafilters. We prove that for any well-founded σ-directed partial order D there is a mild forcing extension where there is an ultrafilter U on ω with a base B such that (B,⊃eq*) D. On a measurable cardinal we prove a similar result: relative to a supercompact cardinal, it is consistent that is supercompact, and for a +-directed well-founded poset D, there is a <-directed closed +-cc forcing extension where there is a normal ultrafilter U on with a base B such that (B,⊃eq*) D. These are optimal results in the class of P-points and realize every potential structure of a P-point. We apply our constructions to obtain ultrafilters with controlled Tukey-type, in particular, an ultrafilter with non-convex Tukey and depth spectra is presented, answering questions from Benhamou2024. Our construction also provides new models where u<2, answering questions from BenhamouGoldberg2025.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.