构造的人们经过反复考量,最终确立了一个全新的构造标准,希望它能够改变构造的现状。
幻标/新构造标/一致性标
前提要求:构造全篇得构成一个一致的公理体系。
给定按一致性强度由弱至强排序的大基数序列使得,其中每一项都有定义且强度高者有定义且证明自身强于强度弱者。
给出的大基数定义必须是一个不同于原定义的等价定义,并具有对其的自身理解(传统文学作品与网文小说可以放宽标准,不需要一定是不同于原定义的等价定义)
(举例:为了防止有人利用莱茵哈特等基数逃课,在定义他们时需要加上自身对“非平凡嵌入”本身的理解)
在这个标准下,“构造”的形式被主要限定为以下部分(需要满足至少2个形式)
1.对公理系统的选择与对大基数公理的定义。
2.对大基数公理强大之处的具体刻画与理解(例如说明/证明为什么它具有如此大的一致性)
3.对于整个公理系统自身在设定中的作用,例如用来去描述世界的极大性,或是描述这个世界自身层次的复杂结构(类比大基数公理影响实数集结构)等...
如发现某构造设定存在抄袭的嫌疑,并能够找到被抄袭的的盒子/设定/论文...那么就宣称这篇构造无效化,量级归零。
如果构造内容出现了不一致,那么整篇构造量级清零。
三线标准:与第一个不可数序数等势的基数(ZF下)
强三线:第一个世界基数
二线标准:ZF+IC+GCH
二线中层:ZF+弱紧致基数
强二线:ZF+MC(可测)(要求自身无矛盾,例如没有可测+V=L这种东西)
强二线巅峰:ZF+强基数
一线:ZF+woodin基数
强一线:ZF+超紧致基数
一线巅峰:ZF+巨大基数
超一线:ZF+n-巨大基数
论天下:ZF+I3公理
l0基数:存在一个非平凡初等嵌入j: L(Vᵨ₊₁)→L(Vᵨ₊₁)且临界点小于ρ,这里L表示相对可构造宇宙,是一种基于集合构造出的特定集合模型,V表示冯·诺依曼宇宙V,包含了“所有”集合的一个“大全集”概念,ρ是任意基数
I1基数:存在一个非平凡基本嵌入j: Vᵨ₊₁→Vᵨ₊₁,ρ是任意基数
I2基数:存在一个非平凡初等嵌入j: V →M其中Vρ⊆M且ρ是j的临界点之上的第一个不动点,这意味着j(ρ)=ρ,嵌入是非平凡的,意味着至少有一个序数被移动了,即它的像不等于它本身,临界点是基本嵌入的最小序数
I3基数:存在一个非平凡初等嵌入j:Vᵨ→Vᵨ,ρ是任意基数,这里的"非平凡"意味着嵌入不是恒等映射,即存至少一个序数α<λ使得j(α)=α
论天中:ZF+I0公理/伊卡洛斯基数(I0也是一类伊卡洛斯基数)伊卡洛斯基数存在一个初等嵌入j:L(V_λ+1,lcarus)→L(V_λ+1,lcarus),为了不破坏L的刚性并让j是非恒等的,则其临界点必须低于λ,lcarus表示伊卡洛斯集
伊卡洛斯集的条件:
称X是伊卡洛斯集,当且仅当V_λ+2是lcarus与Y的不交并(即V_λ+2=lcarus∪Y∧lcarus∩Y=∅),以至于任意lcarus∈Y,j:(V_λ+1,lcarus∪{Y})→(V_λ+1,lcarus∪{Y})都可应用库能的证明,并且j:(V_λ+1,lcarus)→(V_λ+1,lcarus)就是j:V_λ+2→V_λ+2之下与选择公理兼容的一致性最强的嵌入形式
特定的不等式关系:令lcarus⊂V_λ+1为伊卡洛斯集,那么存在Y∈L(lcarus,V_λ+1)∩V_λ+2使得θ_L(lcarus,V_λ+1)<θ_L(\,V_λ+1),并且L(Y,V_λ+1)^♯存在以及L(Y,V_λ+1)^♯∈L(lcarus,V_λ+1)
幻标/新构造标/一致性标
前提要求:构造全篇得构成一个一致的公理体系。
给定按一致性强度由弱至强排序的大基数序列使得,其中每一项都有定义且强度高者有定义且证明自身强于强度弱者。
给出的大基数定义必须是一个不同于原定义的等价定义,并具有对其的自身理解(传统文学作品与网文小说可以放宽标准,不需要一定是不同于原定义的等价定义)
(举例:为了防止有人利用莱茵哈特等基数逃课,在定义他们时需要加上自身对“非平凡嵌入”本身的理解)
在这个标准下,“构造”的形式被主要限定为以下部分(需要满足至少2个形式)
1.对公理系统的选择与对大基数公理的定义。
2.对大基数公理强大之处的具体刻画与理解(例如说明/证明为什么它具有如此大的一致性)
3.对于整个公理系统自身在设定中的作用,例如用来去描述世界的极大性,或是描述这个世界自身层次的复杂结构(类比大基数公理影响实数集结构)等...
如发现某构造设定存在抄袭的嫌疑,并能够找到被抄袭的的盒子/设定/论文...那么就宣称这篇构造无效化,量级归零。
如果构造内容出现了不一致,那么整篇构造量级清零。
三线标准:与第一个不可数序数等势的基数(ZF下)
强三线:第一个世界基数
二线标准:ZF+IC+GCH
二线中层:ZF+弱紧致基数
强二线:ZF+MC(可测)(要求自身无矛盾,例如没有可测+V=L这种东西)
强二线巅峰:ZF+强基数
一线:ZF+woodin基数
强一线:ZF+超紧致基数
一线巅峰:ZF+巨大基数
超一线:ZF+n-巨大基数
论天下:ZF+I3公理
l0基数:存在一个非平凡初等嵌入j: L(Vᵨ₊₁)→L(Vᵨ₊₁)且临界点小于ρ,这里L表示相对可构造宇宙,是一种基于集合构造出的特定集合模型,V表示冯·诺依曼宇宙V,包含了“所有”集合的一个“大全集”概念,ρ是任意基数
I1基数:存在一个非平凡基本嵌入j: Vᵨ₊₁→Vᵨ₊₁,ρ是任意基数
I2基数:存在一个非平凡初等嵌入j: V →M其中Vρ⊆M且ρ是j的临界点之上的第一个不动点,这意味着j(ρ)=ρ,嵌入是非平凡的,意味着至少有一个序数被移动了,即它的像不等于它本身,临界点是基本嵌入的最小序数
I3基数:存在一个非平凡初等嵌入j:Vᵨ→Vᵨ,ρ是任意基数,这里的"非平凡"意味着嵌入不是恒等映射,即存至少一个序数α<λ使得j(α)=α
论天中:ZF+I0公理/伊卡洛斯基数(I0也是一类伊卡洛斯基数)伊卡洛斯基数存在一个初等嵌入j:L(V_λ+1,lcarus)→L(V_λ+1,lcarus),为了不破坏L的刚性并让j是非恒等的,则其临界点必须低于λ,lcarus表示伊卡洛斯集
伊卡洛斯集的条件:
称X是伊卡洛斯集,当且仅当V_λ+2是lcarus与Y的不交并(即V_λ+2=lcarus∪Y∧lcarus∩Y=∅),以至于任意lcarus∈Y,j:(V_λ+1,lcarus∪{Y})→(V_λ+1,lcarus∪{Y})都可应用库能的证明,并且j:(V_λ+1,lcarus)→(V_λ+1,lcarus)就是j:V_λ+2→V_λ+2之下与选择公理兼容的一致性最强的嵌入形式
特定的不等式关系:令lcarus⊂V_λ+1为伊卡洛斯集,那么存在Y∈L(lcarus,V_λ+1)∩V_λ+2使得θ_L(lcarus,V_λ+1)<θ_L(\,V_λ+1),并且L(Y,V_λ+1)^♯存在以及L(Y,V_λ+1)^♯∈L(lcarus,V_λ+1)