$\omega_2$ 上的共尾类型

在本文中，我们开始分析类 $\mathcal D_{\aleph_2}$，即共尾度至多为 $\aleph_2$ 的有向集的共尾类型类。我们使用 Tukey 可归约性概念比较 $\mathcal D_{\aleph_2}$ 中的元素。我们分离出 $\mathcal D_{\aleph_2}$ 中的一些简单共尾类型，然后继续展示这些类型中哪些在 $\mathcal D_{\aleph_2}$ 的 Tukey 序中具有直接后继。