第1174章 渊天宫（11）
存在真类不动点：\{\alpha\midj(\alpha)=\alpha\}是真类？
对任意\alpha＜\kappa，j(\alpha)=\alpha；j(\kappa)＞\kappa，j(j(\kappa))＞j(\kappa)，…
3.反射原理（极强）：对任意公式\phi，V_\kappa\precV（V_\kappa是V的初等子模型）。
对任意A?V_\kappa，(V_\kappa,A)\prec(V,A)。蕴含无穷多更低层大基数：\kappa下有真类可测、超紧、可扩张等基数。
四、莱因哈特基数的变体（强度递增）：1.弱莱因哈特基数（WeaklyReinhardt），定义：crit(j)=κ，j:V→M，M传递，且P(P(\alpha))?M（对所有序数\alpha）。
强度：弱于标准莱因哈特，但仍极强；与ZFC是否一致未知。
2.超莱因哈特基数（SuperReinhardt），定义：对任意序数\lambda，存在j:V→V，crit(j)=κ且j(\kappa)＞\lambda。
直观：j(\kappa)可“任意大”，远超普通莱因哈特。
3.A-超莱因哈特基数，对类A，要求j^+(A)=A（j保持A不变），是超莱因哈特的精细化。
4.全莱因哈特基数（TotallyReinhardt），定义：对所有A∈V_{\kappa+1}，(V_\kappa,V_{\kappa+1})\models\text{ZF}_2+\text{存在}A\text{-超莱因哈特基数}。地位：沃彭卡原理层级的终点，是目前已知最强的大基数之一。
五、一致性强度排序（从低到高）：可测→强紧→超紧→可扩张→巨大→莱因哈特→超莱因哈特→全莱因哈特→伯克利基数（更强）。
莱因哈特远强于所有“可在ZFC中相容”的大基数（如超紧、巨大），伯克利基数强于莱因哈特，同样与AC不相容。
六、哲学与研究意义：1.无选择公理的集合论：莱因哈特是ZF+?AC的核心大基数，推动无AC大基数理论发展。
2.内模型问题：能否构造容纳莱因哈特的典范内模型（如L的推广）？是集合论核心难题。
3.一致性强度标尺：莱因哈特是最强一致性强度标尺之一，用于衡量其他强公理（如AD?、决定性公理）。
4.宇宙的自相似性：j:V→V表达全宇宙的自相似性，是对“集合宇宙均匀性”的终极刻画。
七、开放问题（核心未解）：1.ZF(j)是否一致？：无AC时，莱因哈特是否导致矛盾？至今未知（最核心开放问题）。
2.弱莱因哈特与ZFC的相容性：是否一致？
3.莱因哈特与伯克利的精确关系：伯克利是否严格强于全莱因哈特？
4.内模型存在性：能否构造莱因哈特的规范内模型？
总结：莱因哈特基数是全宇宙自嵌入的临界点，是ZF中最强的大基数概念，与选择公理不相容，蕴含极强反射原理与无穷多低层大基数，其变体（超/全莱因哈特）强度递增，伯克利更强。其一致性是集合论最大未解之谜之一。
超伯克利基数（SuperBerkeley）是伯克利基数的最强强化版本，属于无选择公理（ZF）下的顶级大基数，强度远超伯克利、Reinhardt、RankBerkeley等。
超伯克利基数（SuperBerkeley）：κ是超伯克利基数对所有包含κ的传递集M，所有α＜κ，存在非平凡初等嵌入j:M→M，满足α＜crit(j)＜κ且j(κ)＞κ。
核心区别：j(κ)＞κ（临界点之上，κ自身被严格提升）。
等价表述：κ是完全伯克利+对所有M都有j(κ)＞κ。
二、与相关概念的强度排序（从弱到强）：1.可测→强紧→超紧→可延拓→I0→Reinhardt。
2.RankBerkeley（秩伯克利）。
3.伯克利（标准）。
4.超伯克利（SuperBerkeley）。
5.绝对伯克利（AbsoluteBerkeley，类伯克利）。
超伯克利?伯克利?RankBerkeley?Reinhardt。
超伯克利?完全Reinhardt（TotallyReinhardt）。
三、核心性质（ZF下）：1.与选择公理（AC）不相容。
超伯克利?伯克利?ZFC不一致（Kunen不一致+伯克利自身反AC），仅在ZF（无AC）中可讨论。
2.极强反射性，对任意α＜κ，存在j:M→M，crit(j)∈(α,κ)，且j(κ)＞κ。
κ反射所有低于它的大基数：stationarymanyReinhardt、可延拓、超紧、可测等。
(Vκ,Vκ+1)?ZF?+“存在超Reinhardt基数”。
3.自嵌入封闭性，对Vκ上任意有限关系R?,…,R?，存在j:(Vκ,∈,R?,…,R?)→(Vκ,∈,R?,…,R?)，crit(j)＜κ，j(κ)＞κ，可迭代嵌入：j?,j?,…,j?,…均保持结构与j(κ)＞κ。
4.不可达、强极限、奇异，超伯克利κ必是强极限基数（?γ＜κ:2^γ＜κ）。
必是奇异基数（cof(κ)＜κ），且cof(κ)本身也是大基数。
最小超伯克利=最小伯克利（δ?），且δ?是奇异的。
5.对终极L猜想的否定，若存在超伯克利?终极L猜想（UltimateL）为假?V≠HOD（宇宙≠遗传序定集）
四、超伯克利vs伯克利vs秩伯克利（关键对比）：伯克利：对所有M,α＜κ，?j:M→M，α＜crit(j)＜κ。
秩伯克利（RankBerkeley）：仅对V_λ（λ＞κ）要求嵌入，不要求j(κ)＞κ。
超伯克利：对所有M,α＜κ，?j:M→M，α＜crit(j)＜κ且j(κ)＞κ。
强度：超伯克利＞伯克利＞秩伯克利。
五、数学意义与地位：是已知最强的大基数公理之一，位于大基数层级顶端，用于研究无选择公理下的集合论宇宙结构，检验ZF一致性边界、反射原理极限、V与HOD关系，与决定性公理AD?有深刻联系（AD?蕴含clubBerkeley性质）。
六、一句话总结：超伯克利=伯克利+嵌入必严格提升κ自身=ZF下最强反射+自嵌入大基数=终极L的否定者。