中文

分裂族与 $\beta\omega-\omega$ 的 Noether 型

逻辑 2010-01-05 v2 一般拓扑

摘要

推广 Malykhin 的一些结果,我们证明了关于 βωω\beta\omega-\omega 及其幂的基性质的若干独立性结果,特别是 Noether 型 Nt(βωω)Nt(\beta\omega-\omega),即 βωω\beta\omega-\omega 具有关于包含关系呈 κ\kappa-型的基的最小的 κ\kappa。例如,Nt(βωω)Nt(\beta\omega-\omega) 从不超过分裂数,但可以一致地为 ω1\omega_12ω2^\omega(2ω)+(2^\omega)^+,或严格介于 ω1\omega_12ω2^\omega 之间。Nt(βωω)Nt(\beta\omega-\omega) 还可以一致地小于贫理想的可加性。Nt(βωω)Nt(\beta\omega-\omega) 与特殊类型分裂族的存在性密切相关。

关键词

引用

@article{arxiv.0705.4297,
  title  = {Splitting families and the Noetherian type of $\beta\omega-\omega$},
  author = {David Milovich},
  journal= {arXiv preprint arXiv:0705.4297},
  year   = {2010}
}

备注

This version accepted for publication by Journal of Symbolic Logic. Fixed typos. Removed Lemma 5.10 due to bug in its proof