@憨凛一代 超级莱茵哈特结构!
j:Vλ+2→ Vλ+2
释义梡
κ是超Reinhardt如果对于所有的序数λ存在一个非平凡的初等嵌入j:V→ V,使得crit(j)=κ并且j(κ)>λ。
如果A是一个适当的类,那么κ是A-超Reinhardt如果对于所有序数λ存在一个非平凡初等嵌入如j:V→ V这样
crit(j)=κ,j(κ)>λ,以及j(A)=A,其中j(A):=S梡
α∈OR j(AåVα)。
κ是完全Reinhardt如果对于每个A∈Vκ+1hVκ,Vκ+1i|=ZF2+“存在一个A-超Reinhardt基数”