Derived models associated to mice
Derived models associated to mice
复制标题
与小鼠相关的衍生模型
DOI：
10.1142/9789812794055_0003
复制
发表时间：
2007
影响因子：
0.6
通讯作者：
J. Steel
中科院分区：
文献类型：
--
作者：
J. Steel
我们将提出一些结果的性质衍生模型的小鼠，并存在小鼠与大型衍生模型。本文的基本计划是：第1 - 5节。导论.初步定义和背景材料。与小鼠相关的衍生模型的迭代独立性。小鼠在与小鼠相关的衍生模型中设定猜想。第6 - 8节小鼠相关衍生模型中的Solovay序列。一种在小鼠中“翻译掉”与Woodin基数重叠的扩展子的方法。第9 - 14节。在小鼠AD +模型中捕获2个真理的一些部分结果。(That是，部分结果的小鼠集猜想）。
We shall present some results on the the properties of derived models of mice, and on the existence of mice with large derived models. The basic plan of the paper is: Sections 1‐5. Introduction. Preliminary definitions and background material. The iteration independence of the derived model associated to a mouse. The mouse set conjecture in derived models associated to mice. Sections 6‐8 The Solovay sequence in derived models associated to mice. A method of “translating away” extenders overlapping Woodin cardinals in mice. Sections 9‐14. Some partial results on capturing 2 truths in AD + models by mice. (That is, partial results on the mouse set conjecture.)