通过树力迫保持射影决定性层级
逻辑
2021-03-19 v5
摘要
我们证明多种经典树力迫——例如 Sacks 力迫、Mathias 力迫、Laver 力迫、Miller 力迫与 Silver 力迫——保持每个实数都有 sharp 因而解析决定性的陈述。随后我们通过内模型理论的方法提升该结果，以获得射影决定性（PD）的逐级保持。在假设 PD 下，我们进一步证明射影泛型绝对性成立，且这些力迫不为薄射影传递关系添加新等价类。
引用
@article{arxiv.1810.12079,
title = {Preserving levels of projective determinacy by tree forcings},
author = {Fabiana Castiblanco and Philipp Schlicht},
journal= {arXiv preprint arXiv:1810.12079},
year = {2021}
}
备注
3 figures