Scifaro

中文

分离定理不成立的集合论模型

逻辑 2019-05-28 v1

作者: Vladimir Kanovei , Vassily Lyubetsky

在 arXiv 上查看 ↗ PDF ↗

摘要

我们利用 Jensen 极小力迫的有限支撑积来定义一个集合论模型，其中对于给定的 $n\ge3$ ，投影类 $\mathbf\Sigma^1_n$ 与 $\mathbf\Pi^1_n$ 的分离定理不成立。

关键词

集合论分离定理投影类 Jensen 极小力迫有限支撑积

引用

@article{arxiv.1905.11241,
  title  = {Models of set theory in which separation theorem fails},
  author = {Vladimir Kanovei and Vassily Lyubetsky},
  journal= {arXiv preprint arXiv:1905.11241},
  year   = {2019}
}

备注

arXiv admin note: text overlap with arXiv:1702.03566