带超紧度量的导出模型上的Chang模型
摘要：具有超紧的测度的Chang型模型扩展给定hod鼠标的导出模型的第三作者的早期工作。这样的hod鼠标的存在在一个是Woodin基数和一个是${<}\delta$-强基数的极限的正则基数$\delta$相对一Woodin基数的一致性下成立。我们认为我们的Chang型模型满足$mathsf{AD}^+ + mathsf{AD}\_{mathbb{R}} + Theta$是正则的+$omega\_1$是${<}delta\_{infty}$-超紧的，其中$delta\_{infty}$是某个正则基数$Theta$的上界。这与Woodin的广义Chang模型相补充，后者满足$mathsf{AD}^+ + mathsf{AD}\_{mathbb{R}}+omega\_1$是超紧的，假设存在一个是Woodin基数和Woodin基数的极限的正规类。
作者：Takehiko Gappo, Sandra M"uller, Grigor Sargsyan
论文ID：2307.08607
分类：Logic
分类简称：math.LO
提交时间：2023-07-18