English

Cofinal types below $\aleph_\omega$

Logic 2023-12-29 v2

Abstract

It is proved that for every positive integer nn, the number of non-Tukey-equivalent directed sets of cardinality n\leq \aleph_n is at least cn+2c_{n+2}, the (n+2)(n+2)-Catalan number. Moreover, the Tukey class Dn\mathcal D_{\aleph_n} of directed sets of cardinality n\leq \aleph_n contains an isomorphic copy of the poset of Dyck (n+2)(n+2)-paths. Furthermore, we give a complete description whether two successive elements in the copy contain another directed set in between or not.

Cite

@article{arxiv.2205.00023,
  title  = {Cofinal types below $\aleph_\omega$},
  author = {Roy Shalev},
  journal= {arXiv preprint arXiv:2205.00023},
  year   = {2023}
}

Comments

25 pages, 3 figures, update after referee comments. We thank the referee for their effort and for writing a detailed thoughtful report that improved this paper

R2 v1 2026-06-24T11:03:00.756Z