更多力迫概念添加 Souslin 树

逻辑 2019-09-18 v1

作者: Ari Meir Brodsky , Assaf Rinot

摘要

$\aleph_1$ -Souslin 树是一个复杂的组合对象，其存在性不能仅凭 ZFC 决定。但在 Tennenbaum 和 Jech 独立设计出引入这种树的力迫概念 15 年后，Shelah 证明了即使是最简单的力迫概念——Cohen 力迫——也能添加一棵 $\aleph_1$ -Souslin 树。在本文中，我们确定了一大类力迫概念，在假设 GCH 类型假设下，它们能添加一棵 $\lambda^+$ -Souslin 树。该类包括 Prikry、Magidor 和 Radin 力迫。

关键词

力迫 Souslin 树 ZFC Cohen 力迫 GCH

引用

@article{arxiv.1607.07033,
  title  = {More notions of forcing add a Souslin tree},
  author = {Ari Meir Brodsky and Assaf Rinot},
  journal= {arXiv preprint arXiv:1607.07033},
  year   = {2019}
}

备注

15 pages. Submitted

更多力迫概念添加 Souslin 树

摘要

关键词

引用

备注

相关论文