Cofinal types on $\omega_2$
Logic
2021-08-11 v2
Abstract
In this paper we start the analysis of the class , the class of cofinal types of directed sets of cofinality at most . We compare elements of using the notion of Tukey reducibility. We isolate some simple cofinal types in , and then proceed to show which of these types have an immediate successor in the Tukey ordering of .
Cite
@article{arxiv.2108.03701,
title = {Cofinal types on $\omega_2$},
author = {Borisa Kuzeljevic and Stevo Todorcevic},
journal= {arXiv preprint arXiv:2108.03701},
year = {2021}
}