Isomorphism Classes of Generating Sets
Abstract
We introduce a new class of ultrafilters which generalizes the well-known class of simple -point ultrafilters. We prove that for any well-founded -directed partial order there is a mild forcing extension where there is an ultrafilter on with a base such that . 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 , there is a -directed closed -cc forcing extension where there is a \emph{normal} ultrafilter on with a base such that . These are optimal results in the class of -points and realize every potential structure of a -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 \cite{Benhamou_2024}. Our construction also provides new models where , answering questions from \cite{Benhamou_Goldberg2025}.
Keywords
Cite
@article{arxiv.2504.18381,
title = {Isomorphism Classes of Generating Sets},
author = {Tom Benhamou and James Cummings and Gabriel Goldberg and Yair Hayut and Alejandro Poveda},
journal= {arXiv preprint arXiv:2504.18381},
year = {2026}
}
Comments
Improved theorem, deals with the general case for ultrafilters on $\omega$