关于恰当迫近公理的一致性强度
逻辑
2010-12-10 v1
摘要
最近，第二作者引入了组合原理，这些原理刻画了不可达基数上的超紧致性，但也可以对小基数成立。我们证明了恰当迫近公理 PFA 蕴含这些原理对 成立。利用这一点，我们论证表明，任何从大基数假设出发迫近 PFA 模型的已知方法都需要一个强紧基数。如果使用恰当迫近来迫近 PFA，那么我们得到最优结果，即需要一个超紧致基数。
引用
@article{arxiv.1012.2046,
title = {On the consistency strength of the proper forcing axiom},
author = {Matteo Viale and Christoph Weiß},
journal= {arXiv preprint arXiv:1012.2046},
year = {2010}
}