Souslin 树的保持与边条件
逻辑
2014-07-16 v1
摘要
我们展示了如何利用有限条件强制实施 forcing 公理 PFA(T)，即相对于保持给定 Souslin 树 的 proper forcing 概念的 PFA 相对化形式。证明使用了 Neeman 风格的迭代，其广义边条件由两种类型的模型组成，并建立了此类迭代的保持定理。该公理的一致性此前已通过标准的可数支持迭代得知，其依据是 Miyamoto 提出的保持定理。
引用
@article{arxiv.1407.4050,
title = {Preservation of a Souslin tree and side conditions},
author = {Giorgio Venturi},
journal= {arXiv preprint arXiv:1407.4050},
year = {2014}
}