偏序层次结构
摘要：广义Hausdorff特征化了离散线性序的类的论文，扩展了Abraham and Bonnet的一篇论文。Abraham和Bonnet给出了一个偏序层次结构，特征化了没有无限反对链的离散偏序集（缩写为FAC）。这里的反对链是指无法比较的元素。我们定义了一个比Abraham和Bonnet更大的偏序层次结构，包括了更广泛的“离散”偏序集，我们称之为κ-离散。这些偏序集不能嵌入任何满足以下性质的顺序：对于大小小于κ的任意两个子集，一个严格小于另一个，中间存在一个元素。如果一个线性序具备这个性质且大小为κ，则称这个集合为qκ。只有当κ^<κ=κ时才存在这样的集合。对于每个a 作者：M. D{v{z}}amonja and K. Thompson 论文ID：math/0608642 分类：Logic 分类简称：math.LO 提交时间：2007-05-23