92种大基数强度总排名(66种非标准+25种常规+1种非标准绝对基数)
第一梯队:最弱(基础次协调非标准型,局部矛盾,无高阶结构)
1.次协调强不可达基数(非标准)
2.次协调可测基数(非标准)
3.真值差基数(非标准)
4.矛盾局域化基数(非标准)
5.次协调超紧基数(非标准)
6.次协调伯克利基数(非标准)
7.次协调大基数簇极限\kappa_\omega(非标准)
第二梯队:弱(拓扑范畴基础非标准型+常规低阶基数)
8.超限拓扑不可约基数(非标准)
9.稠密矛盾拓扑基数(非标准)
10.开集超滤绑定基数(非标准)
11.不可达基数(常规)
12.马洛基数(常规)
13.弱紧致基数(常规)
14.拓扑超滤大基数\kappa_{\text{top-uf}}(非标准)
15.层茎超限基数(非标准)
16.格罗滕迪克拓扑锚定基数(非标准)
17.拓扑同伦大基数(非标准)
18.不可表达基数(常规)
19.可测基数(常规)
20.层积矛盾大基数\kappa_{\text{sheaf-contr}}(非标准)
21.拓扑斯绝对大基数\kappa_{\text{topos-abs}}(非标准)
第三梯队:中弱(高阶递归论/反推数学非标准型+常规中低阶基数)
22.超算术层级基数(非标准)
23.可定义递归大基数(非标准)
24.超限归纳失效基数(非标准)
25.强基数(常规)
26.伍丁基数(常规)
27.递归矛盾基数(非标准)
28.超递归不可达基数(非标准)
29.定理独立性基数(非标准)
30.反推超紧基数(非标准)
31.反推伯克利基数(非标准)
32.矛盾反推基数(非标准)
33.超限反推基数(非标准)
34.公理强度校准基数(非标准)
第四梯队:中等(模态逻辑融合非标准型+常规中阶基数)
35.力迫模态不可达基数(非标准)
36.力迫模态可测基数(非标准)
37.模态可测基数(非标准)
38.超紧基数(常规)
39.超强基数(常规)
40.可扩基数(常规)
41.解释性模态超紧基数(非标准)
42.无穷模态层级基数(非标准)
43.超限模态不动点基数(非标准)
44.模态矛盾基数(非标准)
第五梯队:中强(高等嵌入单层非标准型+常规高阶基数)
45.嵌入拉伸基数(非标准)
46.初等嵌入同伦等价基数(非标准)
47.沃彭卡原理(弱形式)(常规)
48.迭代拓扑嵌入大基数\kappa_{\text{iter-top}}(非标准)
49.超紧拓扑绑定大基数\kappa_{\text{super-top}}(非标准)
50.超限嵌入极限基数(非标准)
51. \omega-重复合嵌入基数(非标准)
52.伯克利基数(常规)
53. club伯克利基数(常规)
54.嵌入不动点拓扑大基数\kappa_{\text{fix-top}}(非标准)
55.不动点簇极限基数(非标准)
第六梯队:强(不可数无穷嵌入非标准型+常规顶级基数)
56. \omega_1-重嵌入基数簇\{\kappa_\alpha\}_{\alpha<\omega_1}(非标准)
57.多重复合嵌入不动点基数(非标准)
58.伊卡洛斯基数(常规)
59.莱因哈特基数(集合论全域嵌入)(常规)
60.超级莱因哈特基数(常规)
第七梯队:超强(范畴论高阶非标准型)
61.拓扑斯极限基数簇(非标准)
62.高阶范畴嵌入基数(非标准)
63. 2-拓扑斯基数(非标准)
64. \infty-范畴超滤基数(非标准)
65.函子矛盾基数(非标准)
第八梯队:极强(博弈论绑定非标准型+常规终极基数雏形)
66.超滤子博弈基数(非标准)
67.嵌入对抗博弈基数(非标准)
68.序数博弈基数(\omega^*步逆序博弈)(非标准)
69.博弈超紧基数(非标准)
70.宇宙创世博弈基数(非标准)
71.矛盾博弈基数(非标准)
72. V基数(常规)
73.终极L基数(雏形)(常规)
第九梯队:超极强(量子集合论非标准型)
74.量子跃迁基数(非标准)
75.量子可测基数(非标准)
76.测不准基数(非标准)
77.叠加态大基数簇(非标准)
78.量子纠缠基数(非标准)
第十梯队:最强(非标准分析融合型,突破经典集合论框架)
79.非标准不可达基数(非标准)
80.非标准测度基数(非标准)
81.无穷小锚定基数(非标准)
82.超限超幂大基数(非标准)
83.非标准序数绑定基数(非标准)
84.超实数大基数(非标准)
85.超现实数基数(非标准)
终极梯队绝对至高(非标准绝对基数,定义绝对无限)
92.非标准绝对基数(非标准)
第一梯队:最弱(基础次协调非标准型,局部矛盾,无高阶结构)
1.次协调强不可达基数(非标准)
2.次协调可测基数(非标准)
3.真值差基数(非标准)
4.矛盾局域化基数(非标准)
5.次协调超紧基数(非标准)
6.次协调伯克利基数(非标准)
7.次协调大基数簇极限\kappa_\omega(非标准)
第二梯队:弱(拓扑范畴基础非标准型+常规低阶基数)
8.超限拓扑不可约基数(非标准)
9.稠密矛盾拓扑基数(非标准)
10.开集超滤绑定基数(非标准)
11.不可达基数(常规)
12.马洛基数(常规)
13.弱紧致基数(常规)
14.拓扑超滤大基数\kappa_{\text{top-uf}}(非标准)
15.层茎超限基数(非标准)
16.格罗滕迪克拓扑锚定基数(非标准)
17.拓扑同伦大基数(非标准)
18.不可表达基数(常规)
19.可测基数(常规)
20.层积矛盾大基数\kappa_{\text{sheaf-contr}}(非标准)
21.拓扑斯绝对大基数\kappa_{\text{topos-abs}}(非标准)
第三梯队:中弱(高阶递归论/反推数学非标准型+常规中低阶基数)
22.超算术层级基数(非标准)
23.可定义递归大基数(非标准)
24.超限归纳失效基数(非标准)
25.强基数(常规)
26.伍丁基数(常规)
27.递归矛盾基数(非标准)
28.超递归不可达基数(非标准)
29.定理独立性基数(非标准)
30.反推超紧基数(非标准)
31.反推伯克利基数(非标准)
32.矛盾反推基数(非标准)
33.超限反推基数(非标准)
34.公理强度校准基数(非标准)
第四梯队:中等(模态逻辑融合非标准型+常规中阶基数)
35.力迫模态不可达基数(非标准)
36.力迫模态可测基数(非标准)
37.模态可测基数(非标准)
38.超紧基数(常规)
39.超强基数(常规)
40.可扩基数(常规)
41.解释性模态超紧基数(非标准)
42.无穷模态层级基数(非标准)
43.超限模态不动点基数(非标准)
44.模态矛盾基数(非标准)
第五梯队:中强(高等嵌入单层非标准型+常规高阶基数)
45.嵌入拉伸基数(非标准)
46.初等嵌入同伦等价基数(非标准)
47.沃彭卡原理(弱形式)(常规)
48.迭代拓扑嵌入大基数\kappa_{\text{iter-top}}(非标准)
49.超紧拓扑绑定大基数\kappa_{\text{super-top}}(非标准)
50.超限嵌入极限基数(非标准)
51. \omega-重复合嵌入基数(非标准)
52.伯克利基数(常规)
53. club伯克利基数(常规)
54.嵌入不动点拓扑大基数\kappa_{\text{fix-top}}(非标准)
55.不动点簇极限基数(非标准)
第六梯队:强(不可数无穷嵌入非标准型+常规顶级基数)
56. \omega_1-重嵌入基数簇\{\kappa_\alpha\}_{\alpha<\omega_1}(非标准)
57.多重复合嵌入不动点基数(非标准)
58.伊卡洛斯基数(常规)
59.莱因哈特基数(集合论全域嵌入)(常规)
60.超级莱因哈特基数(常规)
第七梯队:超强(范畴论高阶非标准型)
61.拓扑斯极限基数簇(非标准)
62.高阶范畴嵌入基数(非标准)
63. 2-拓扑斯基数(非标准)
64. \infty-范畴超滤基数(非标准)
65.函子矛盾基数(非标准)
第八梯队:极强(博弈论绑定非标准型+常规终极基数雏形)
66.超滤子博弈基数(非标准)
67.嵌入对抗博弈基数(非标准)
68.序数博弈基数(\omega^*步逆序博弈)(非标准)
69.博弈超紧基数(非标准)
70.宇宙创世博弈基数(非标准)
71.矛盾博弈基数(非标准)
72. V基数(常规)
73.终极L基数(雏形)(常规)
第九梯队:超极强(量子集合论非标准型)
74.量子跃迁基数(非标准)
75.量子可测基数(非标准)
76.测不准基数(非标准)
77.叠加态大基数簇(非标准)
78.量子纠缠基数(非标准)
第十梯队:最强(非标准分析融合型,突破经典集合论框架)
79.非标准不可达基数(非标准)
80.非标准测度基数(非标准)
81.无穷小锚定基数(非标准)
82.超限超幂大基数(非标准)
83.非标准序数绑定基数(非标准)
84.超实数大基数(非标准)
85.超现实数基数(非标准)
终极梯队绝对至高(非标准绝对基数,定义绝对无限)
92.非标准绝对基数(非标准)










