集合论模型的初始自嵌入
摘要：ZF的充分强片段的可数非标准模型$\mathcal{M}$的哈维·弗里德曼的经典定理（1973）表明，每一个都有一个适当的秩初始自嵌入$j$，即$j$是$mathcal{M}$的自嵌入，使得$j[mathcal{M}]\subsetneq mathcal{M}$，且$j[mathcal{M}]$的每个成员的序数秩小于$mathcal{M}\setminus j[mathcal{M}]$的每个元素的序数秩。在这里，我们研究了集合论片段的模型$mathcal{M}$的更大家族的适当的初始嵌入$j$，其中$j$的图像是$mathcal{M}$的一个传递子模型。
作者：Ali Enayat and Zachiri McKenzie
论文ID：1906.02873
分类：Logic
分类简称：math.LO
提交时间：2023-06-22