第1173章 渊天宫（10）
3.伯克利基数(Berkeleycardinal)：标准定义，对任意包含κ的传递集M及任意α＜κ，存在非平凡初等嵌入j:M→M，满足α＜crit(j)＜κ。伯克利基数比Reinhardt基数更强，且与选择公理(AC)不相容。
二、强化伯克利基数：1.HOD-Berkeley基数：限制在HOD(遗传序数可定义集)内的伯克利基数，即对HOD中任意包含κ的传递集M及任意α＜κ，存在非平凡初等嵌入j:M→M，满足α＜crit(j)＜κ。HOD-Berkeley基数弱于完整伯克利基数(因限制在更小的HOD模型中)。
2.clubBerkeley基数(闭无界伯克利基数)：正则基数κ，满足对κ的任意闭无界子集C及任意包含κ的传递集M，存在非平凡初等嵌入j:M→M，其临界点crit(j)∈C。clubBerkeley基数强于普通伯克利基数，且每个clubBerkeley基数都是完全Reinhardt基数。
3.limitclubBerkeley基数(极限闭无界伯克利基数)：既是clubBerkeley基数，又是伯克利基数的极限。比普通clubBerkeley基数更强，其结构(V?,V???)满足“存在超Reinhardt伯克利基数”。
4.rankBerkeley基数(秩伯克利基数)：由Schlutzenberg引入，定义为对所有大于λ的序数η及任意α＜λ，存在非平凡初等嵌入j:V?→V?，满足α＜crit(j)＜λ。rankBerkeley基数强于普通伯克利基数，且与Vopěnka原理有密切联系。
三、特殊伯克利基数：-Θ-Berkeley基数：与Θ(所有序数可定义实数集的序型)相关的伯克利基数，如AD?公理下ω?是clubΘ-Berkeley基数。
-X-闭rankBerkeley基数：附加X-闭条件的rankBerkeley基数，要求嵌入j满足j(X)=j[X]。
关键关系说明：1.最小伯克利基数=最小proto-Berkeley基数(δ?)。
2.α-proto-Berkeley基数δ?随α增大而递增，且每个δ?都是伯克利基数。
3.clubBerkeley基数＞普通伯克利基数＞proto-Berkeley基数。
4.limitclubBerkeley基数＞clubBerkeley基数。
5.rankBerkeley基数＞普通伯克利基数。
6.HOD-Berkeley基数＜完整伯克利基数。
总结完整排序(从低到高)：proto-Berkeley基数(δ?)→α-proto-Berkeley基数(δ?,α＞0)→伯克利基数→HOD-Berkeley基数→clubBerkeley基数→limitclubBerkeley基数→rankBerkeley基数→X-闭rankBerkeley基数。
伯克利基数的某些变体间关系(如clubBerkeley与rankBerkeley)尚未完全确定，上述排序基于当前已知的一致性强度关系……
莱因哈特基数（ReinhardtCardinal），莱因哈特基数是ZF集合论中最强的大基数之一，由WilliamN.Reinhardt于1967年提出，核心是全宇宙自嵌入的临界点，与选择公理（AC）不相容。以下从定义、形式化、核心定理、性质、变体、强度与哲学意义展开。
本质：存在一个从集合宇宙V到其自身的非平凡初等映射j，\kappa是第一个被j移动的序数，即j(\kappa)＞\kappa。
位置：在大基数谱系中，它是最强的概念之一，远超可测、超强等基数。
一、核心定义（最本质）：1.标准定义（ZF框架），基数κ是莱因哈特基数，当且仅当：存在非平凡初等嵌入，j:V\toV，使得crit(j)=κ（临界点）。
非平凡：j≠\text{id}_V（不是恒等映射）。
初等嵌入：对任意集合论公式\phi(x_1,...,x_n)，V\models\phi(a_1,...,a_n)\iffV\models\phi(j(a_1),...,j(a_n))临界点crit(j)：最小的序数\kappa满足j(\kappa)＞\kappa。
2.形式化处理（关键技术点），-j是真类，无法在标准ZF中用一阶公式定义（Suzuki1999定理：ZF中不存在可定义的j:V→V）。
必须扩张语言：添加函数符号j，得到理论ZF(j)，包含：ZF全部公理，j的初等性公理，对含j的公式的分离/替换公理。
二、核心定理：Kunen不一致性（1971），ZFC+存在莱因哈特基数?矛盾。
证明关键（直观）：1.用AC构造序数的良序，并取嵌入迭代的不动点/临界点链。
2.导出序数的递减无穷链，违反良基性。
3.结论：莱因哈特基数与选择公理不相容，只能在无AC的ZF中研究。
强版本，Kunen证明了更强结论：ZFC中不存在非平凡初等嵌入j:V_{λ+2}→V_{λ+2}（对任意序数λ）。
三、基本性质（ZF(j)下）：1.临界点性质：kappa是强极限基数：对所有\alpha＜\kappa，2^\alpha＜\kappa。
kappa是不可达基数：正则+强极限。
kappa是可测基数：存在\kappa-完全非主超滤。
kappa是超紧基数、可扩张基数、巨大基数（远强于这些）。
2.嵌入的迭代与不动点：迭代j^n=j°j°?°j（n次），临界点仍为\kappa，j^n(\kappa)＞\kappa。