Contributions to Descriptive Inner Model Theory

Contributions to Descriptive Inner Model Theory
复制标题

对描述性内模型理论的贡献

DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Trevor M. Wilson
Trevor M. Wilson
中科院分区：
--
文献类型：
--
作者：
Trevor M. Wilson

文献摘要

被引文献

相似文献

作者：特雷弗·迈尔斯·威尔逊 |顾问：Steel, John R |摘要：描述性内模型理论是研究描述性集合论与内模型理论之间的联系。这种联系构成了核心模型归纳的基础，我们用它来证明确定性公理的强形式与具有与同质性相关的某些属性的强理想的存在相关的相对一致性结果。主要创新是对核心模型归纳的“尺度差距”步骤采用统一方法。
Author(s): Wilson, Trevor Miles | Advisor(s): Steel, John R | Abstract: Descriptive inner model theory is the study of connections between descriptive set theory and inner model theory. Such connections form the basis of the core model induction, which we use to prove relative consistency results relating strong forms of the Axiom of Determinacy with the existence of a strong ideal on having a certain property related to homogeneity. The main innovation is a unified approach to the "gap in scales" step of the core model induction.