English

Isomorphism Classes of Generating Sets

Logic 2026-04-02 v2

Abstract

We introduce a new class of ultrafilters which generalizes the well-known class of simple PP-point ultrafilters. We prove that for any well-founded σ\sigma-directed partial order D\mathbb{D} there is a mild forcing extension where there is an ultrafilter UU on ω\omega with a base B\mathcal{B} such that (B,)D(\mathcal{B},\supseteq^*)\cong \mathbb{D}. On a measurable cardinal we prove a similar result: relative to a supercompact cardinal, it is consistent that κ\kappa is supercompact, and for a κ+\kappa^+-directed well-founded poset D\mathbb{D}, there is a <κ{<}\kappa-directed closed κ+\kappa^+-cc forcing extension where there is a \emph{normal} ultrafilter UU on κ\kappa with a base B\mathcal{B} such that (B,)D(\mathcal{B},\supseteq^*)\cong \mathbb{D}. These are optimal results in the class of PP-points and realize every potential structure of a PP-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 uκ<2κ\mathfrak{u}_\kappa<2^\kappa, 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$

R2 v1 2026-06-28T23:11:24.612Z