Cofinal types below $\aleph_\omega$
Logic
2023-12-29 v2
Abstract
It is proved that for every positive integer , the number of non-Tukey-equivalent directed sets of cardinality is at least , the -Catalan number. Moreover, the Tukey class of directed sets of cardinality contains an isomorphic copy of the poset of Dyck -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