存在真类不动点：{alphaidj(alpha)=alpha}是真类？

    对任意alpha＜kappa，j(alpha)=alpha；j(kappa)＞kappa，j(j(kappa))＞j(kappa)，…

    3.反射原理（极强）：对任意公式phi，V_kappaprecV（V_kappa是V的初等子模型）。

    对任意A?V_kappa，(V_kappa,A)prec(V,A)。蕴含无穷多更低层大基数：kappa下有真类可测、超紧、可扩张等基数。

    四、莱因哈特基数的变体（强度递增）：1.弱莱因哈特基数（WeaklyRehardt），定义：crit(j)=κ，j:V→M，M传递，且P(P(alpha))?M（对所有序数alpha）。

    强度：弱于标准莱因哈特，但仍极强；与ZFC是否一致未知。

    2.超莱因哈特基数（SuperRehardt），定义：对任意序数bda，存在j:V→V，crit(j)=κ且j(kappa)＞bda。

    直观：j(kappa)可“任意大”，远超普通莱因哈特。

    3.A-超莱因哈特基数，对类A，要求j^+(A)=A（j保持A不变），是超莱因哈特的精细化。

    4.全莱因哈特基数（TotallyRehardt），定义：对所有A∈V_{kappa+1}，(V_kappa,V_{kappa+1})odelstext{ZF}_2+text{存在}Atext{-超莱因哈特基数}。地位：沃彭卡原理层级的终点，是目前已知最强的大基数之一。

    五、一致性强度排序（从低到高）：可测→强紧→超紧→可扩张→巨大→莱因哈特→超莱因哈特→全莱因哈特→伯克利基数（更强）。

    莱因哈特远强于所有“可在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）下的顶级大基数，强度远超伯克利、Rehardt、RankBerkeley等。

    超伯克利基数（SuperBerkeley）：κ是超伯克利基数对所有包含κ的传递集M，所有α＜κ，存在非平凡初等嵌入j:M→M，满足α＜crit(j)＜κ且j(κ)＞κ。

    核心区别：j(κ)＞κ（临界点之上，κ自身被严格提升）。

    等价表述：κ是完全伯克利+对所有M都有j(κ)＞κ。

    二、与相关概念的强度排序（从弱到强）：1.可测→强紧→超紧→可延拓→I0→Rehardt。

    2.RankBerkeley（秩伯克利）。

    3.伯克利（标准）。

    4.超伯克利（SuperBerkeley）。

    5.绝对伯克利（AbsoteBerkeley，类伯克利）。

    超伯克利?伯克利?RankBerkeley?Rehardt。

    超伯克利?完全Rehardt（TotallyRehardt）。

    三、核心性质（ZF下）：1.与选择公理（AC）不相容。

    超伯克利?伯克利?ZFC不一致（Kunen不一致+伯克利自身反AC），仅在ZF（无AC）中可讨论。

    2.极强反射性，对任意α＜κ，存在j:M→M，crit(j)∈(α,κ)，且j(κ)＞κ。

    κ反射所有低于它的大基数：stationaryanyRehardt、可延拓、超紧、可测等。

    (Vκ,Vκ+1)?ZF?+“存在超Rehardt基数”。

    3.自嵌入封闭性，对Vκ上任意有限关系R?,…,R?，存在j:(Vκ,∈,R?,…,R?)→(Vκ,∈,R?,…,R?)，crit(j)＜κ，j(κ)＞κ，可迭代嵌入：j?,j?,…,j?,…均保持结构与j(κ)＞κ。

    4.不可达、强极限、奇异，超伯克利κ必是强极限基数（?γ＜κ:2^γ＜κ）。

    必是奇异基数（f(κ)＜κ），且f(κ)本身也是大基数。

    最小超伯克利=最小伯克利（δ?），且δ?是奇异的。

    5.对终极L猜想的否定，若存在超伯克利?终极L猜想（UltiateL）为假?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?蕴含cbBerkeley性质）。

    六、一句话总结：超伯克利=伯克利+嵌入必严格提升κ自身=ZF下最强反射+自嵌入大基数=终极L的否定者。