Solovay 模型中 Borel 偏序的线性 ROD 子集是可数共尾的

Vladimir Kanovei

doi:10.1016/j.amc.2011.05.003

Solovay 模型中 Borel 偏序的线性 ROD 子集是可数共尾的

逻辑 2018-08-16 v2

作者: Vladimir Kanovei

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

以下命题在 Solovay 模型中成立。1. 如果 $\le$ 是实数集 $D$ 上的 Borel 偏序，且 $X$ 是 $D$ 中由 $\le$ 线性排序的 ROD 子集，则 $\le$ 在 $X$ 上的限制是可数共尾的。2. 如果此外 $D$ 的每个可数集 $Y$ 在 $\le$ 意义下都有严格上界，则序 $< D ; \le >$ 不存在作为 ROD 集的极大链。

关键词

Solovay 模型 Borel 偏序 ROD 子集可数共尾极大链

引用

@article{arxiv.1004.5542,
  title  = {Linear ROD subsets of Borel partial orders are countably cofinal in the Solovay model},
  author = {Vladimir Kanovei},
  journal= {arXiv preprint arXiv:1004.5542},
  year   = {2018}
}

备注

5 pages

Solovay 模型中 Borel 偏序的线性 ROD 子集是可数共尾的

摘要

关键词

引用

备注

相关论文