PFA and guessing models
PFA and guessing models
复制标题
PFA 和猜测模型
DOI：
10.1007/s11856-016-1390-x
复制
发表时间：
2016
影响因子：
1
通讯作者：
Trang, Nam
中科院分区：
文献类型：
--
作者：
Trang, Nam
本文探讨了固有力公理（PFA）与包含Viale-Weiβ猜测船体原理的一种变形的理论（T）的一致性强度。我们证明了（T）相对于超紧基数是相容的.本文的主要结果是定理0.2，它意味着“ADR+ R是正则的”理论相对于（T）和相对于PFA是一致的。这显著地改进了先前已知的用于（T）和PFA的一致性强度的最佳下限，其大致为“ADR+ DC”。
This paper explores the consistency strength of The Proper Forcing Axiom (PFA) and the theory (T) which involves a variation of the Viale–Weiβ guessing hull principle. We show that (T) is consistent relative to a supercompact cardinal. The main result of the paper is Theorem 0.2, which implies that the theory “ADR+ ⊝ is regular” is consistent relative to (T) and to PFA. This improves significantly the previous known best lower-bound for consistency strength for (T) and PFA, which is roughly “ADR+ DC”.
登录
查看更多内容
与小鼠相关的衍生模型
影响因子：
0.6
作者：
J. Steel
通讯作者：
J. Steel
覆盖普遍的 Baire 算子
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
G. Sargsyan
通讯作者：
G. Sargsyan
游戏、音阶和苏斯林红衣主教
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
A. Kechris;B. Löwe;J. Steel
通讯作者：
J. Steel
对描述性内模型理论的贡献
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Trevor M. Wilson
通讯作者：
Trevor M. Wilson
来自确定性的大红衣主教
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
P. Koellner;W. Woodin
通讯作者：
W. Woodin