Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular
Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular
复制标题
AD 独特分支假设和模型的驯服失败是有规律的
DOI：
10.1142/s0219061316500070
复制
发表时间：
2016
影响因子：
0.9
通讯作者：
Trang, Nam
中科院分区：
文献类型：
--
作者：
Sargsyan, Grigor;Trang, Nam
在本文中，我们证明了迭代树的唯一分支假设（）的不成立意味着在某些齐次的一般扩展中存在一个包含正则的传递模型。本文的结果显著扩展了[非驯服小鼠从独特分支假说的驯服失败]的早期工作，加拿大J.数学，66(4)(2014)903-923；核心模型与更多的伍丁枢机，J。符号逻辑67(3)(2002)1197-1226]。
In this paper, we show that the failure of the unique branch hypothesis () for tame iteration trees implies that in some homogenous generic extension ofthere is a transitive modelcontainingsuch thatis regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis,Canadian J. Math.66(4) (2014) 903–923; Core models with more Woodin cardinals,J. Symbolic Logic67(3) (2002) 1197–1226] for tame trees.
登录
查看更多内容
覆盖普遍的 Baire 算子
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
G. Sargsyan
通讯作者：
G. Sargsyan
HOD作为核心模型
影响因子：
0.6
作者：
J. Steel;W. Woodin;A. Kechris;B. Löwe
通讯作者：
B. Löwe
适用延长器型号 I
DOI：
10.1142/s021906131000095x
发表时间：
2010
期刊：
J. Math. Log.
影响因子：
--
作者：
W. Woodin
通讯作者：
W. Woodin
不驯服的老鼠因方在单一强极限基数上的失败
影响因子：
0.9
作者：
G. Sargsyan
通讯作者：
G. Sargsyan
伍丁基数的伍丁极限区域的内部模型
影响因子：
0.8
作者：
I. Neeman
通讯作者：
I. Neeman