一个具有 Suslin 树但除 $\omega_1$ 与 $-\omega_1$ 外无极小不可数线性序的模型
逻辑
2018-03-13 v2
摘要
我们证明 Suslin 树的存在并不必然蕴含存在除 和 以外的不可数极小线性序，回答了 J. Baumgartner 的一个问题。这是通过一个 Jensen 型迭代完成的，证明了可以在保持刚性 Suslin 树的同时，迫使 CH 与树上阶梯系统一致化的受限形式成立。
引用
@article{arxiv.1803.03583,
title = {A model with Suslin trees but no minimal uncountable linear orders other than $\omega_1$ and $-\omega_1$},
author = {Dániel T. Soukup},
journal= {arXiv preprint arXiv:1803.03583},
year = {2018}
}
备注
19 pages, 4 figures, first public version. Comments are very welcome. +minor corrections