用户:星汐镜Littlekk/快速抵达大基数1.0

Littlekk自用概念备份

概述

ZF集合论框架下，序数、基数、大基数概念的纯符号化形式化定义极速回忆版，所有定义前后完全兼容，核心用于序数分析、序数坍缩函数（OCF）锚点定义与证明论强度标定。

• 核心约定：所有带唯一性的基数定义，均为「满足对应性质的最小基数」，即序数分析中OCF的标准锚点约定
• 符号说明：$\iota$为限定摹状词，表“满足公式的唯一集合”；$\models$为结构满足关系；${\mathrm{\Pi }}_n^m$为m阶逻辑中全称n量词前缀的前束范式公式类

形式化定义

序数与序数关系

序数谓词 Ord(α)

$\mathrm{O}\mathrm{r}\mathrm{d}(\alpha )⟺(\mathrm{\forall }x\in \alpha ,x\subseteq \alpha )\wedge (\mathrm{\forall }x,y\in \alpha ,x\in y\vee y\in x\vee x=y)$

谓词$\mathrm{O}\mathrm{r}\mathrm{d}(\alpha )$表示α是一个序数，定义包含两个核心条件：

1. α是传递集，即α的所有元素都是α的子集；
2. α的全体元素在∈关系下构成全序集。

序数大小关系 α < β

$\alpha <\beta ⟺\mathrm{O}\mathrm{r}\mathrm{d}(\alpha )\wedge \mathrm{O}\mathrm{r}\mathrm{d}(\beta )\wedge \alpha \in \beta$

序数的小于关系定义为：当且仅当α、β均为序数，且α是β的元素时，α小于β。该定义与序数的良序性天然兼容。

极限序数谓词 Lim(α)

$\mathrm{L}\mathrm{i}\mathrm{m}(\alpha )⟺\mathrm{O}\mathrm{r}\mathrm{d}(\alpha )\wedge \alpha \ne \mathrm{\varnothing }\wedge \mathrm{\forall }\beta \in \alpha ,\beta \cup \{\beta \}\in \alpha$

谓词$\mathrm{L}\mathrm{i}\mathrm{m}(\alpha )$表示α是一个极限序数，即α为非空序数，且对α中的任意元素β，β的后继$\beta \cup \{\beta \}$仍属于α，意味着α中不存在最大元。

后继序数谓词 Succ(α)

$\mathrm{S}\mathrm{u}\mathrm{c}\mathrm{c}(\alpha )⟺\mathrm{O}\mathrm{r}\mathrm{d}(\alpha )\wedge \mathrm{\exists }\beta \in \alpha ,\alpha =\beta \cup \{\beta \}$

谓词$\mathrm{S}\mathrm{u}\mathrm{c}\mathrm{c}(\alpha )$表示α是一个后继序数，即α是序数，且存在α中的元素β，使得α等于β的后继$\beta \cup \{\beta \}$（也记作β+1）。

序数集上确界 Sup(X)

$\mathrm{S}\mathrm{u}\mathrm{p}(X)=\bigcup X$

序数集合X的上确界定义为X中所有元素的并集。对于由序数构成的集合，该定义恰好给出该集合的最小上界，符合序数的良序性质。

集合论基础运算与累积层级

幂集运算 𝒫(x)

${𝒫}(x)=\iota y(\mathrm{\forall }z,z\in y⟺z\subseteq x)$

集合x的幂集${𝒫}(x)$定义为所有x的子集构成的唯一集合y。其中$\iota$为限定摹状词，表示“满足该条件的唯一对象y”。

集合论累积层级 V_α

$V_0=\mathrm{\varnothing }$
$V_{\alpha +1}={𝒫}(V_{\alpha })$
$\mathrm{L}\mathrm{i}\mathrm{m}(\lambda )\to V_{\lambda }=\mathrm{S}\mathrm{u}\mathrm{p}\{V_{\alpha }\mid \alpha <\lambda \}$

集合论累积层级$V_{\alpha }$是ZF集合论的标准宇宙构造，通过迭代幂集运算生成，分为三类情况：

1. 零阶层：$V_0$定义为空集；
2. 后继层：对任意序数α，$V_{\alpha +1}$为$V_{\alpha }$的幂集；
3. 极限层：对任意极限序数λ，$V_{\lambda }$为所有下标小于λ的$V_{\alpha }$的上确界（即并集）。

映射与基数

双射谓词 Bij(f,A,B)

$\mathrm{B}\mathrm{i}\mathrm{j}(f,A,B)⟺(\mathrm{\forall }{x}_1,x_2\in A,f(x_1)=f(x_2)\to x_1=x_2)\wedge (\mathrm{\forall }y\in B,\mathrm{\exists }x\in A,f(x)=y)$

谓词$\mathrm{B}\mathrm{i}\mathrm{j}(f,A,B)$表示f是从集合A到集合B的双射，即f同时满足：

1. 单射性：定义域A中不同元素映射到陪域B中不同元素；
2. 满射性：陪域B中的每一个元素都有定义域A中的元素与之对应。

基数谓词 Card(κ)

$\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )⟺\mathrm{O}\mathrm{r}\mathrm{d}(\kappa )\wedge \mathrm{\forall }\alpha <\kappa ,\mathrm{\neg }\mathrm{\exists }f,\mathrm{B}\mathrm{i}\mathrm{j}(f,\alpha ,\kappa )$

谓词$\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )$表示κ是一个基数（初始序数），即κ是序数，且不存在从任意小于κ的序数α到κ的双射，κ是其对应势的最小序数。

后继基数 κ⁺

${\kappa }^{+}=\iota \lambda (\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\lambda )\wedge \lambda >\kappa \wedge \mathrm{\forall }\mu (\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\mu )\wedge \mu >\kappa \to \lambda \le \mu ))$

基数κ的后继基数${\kappa }^{+}$定义为大于κ的最小基数。其中$\iota$为限定摹状词，表示“满足该条件的唯一对象λ”。

可数序数谓词 Countable(α)

$\mathrm{C}\mathrm{o}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{a}\mathrm{b}\mathrm{l}\mathrm{e}(\alpha )⟺\mathrm{O}\mathrm{r}\mathrm{d}(\alpha )\wedge \mathrm{\exists }f,\mathrm{B}\mathrm{i}\mathrm{j}(f,\omega ,\alpha )$

谓词$\mathrm{C}\mathrm{o}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{a}\mathrm{b}\mathrm{l}\mathrm{e}(\alpha )$表示α是一个可数序数，即α是序数，且存在从最小无限序数ω到α的双射。

共尾性与特殊基数

共尾性 cf(α)

$\mathrm{c}\mathrm{f}(\alpha )=\iota \beta (\mathrm{O}\mathrm{r}\mathrm{d}(\beta )\wedge \mathrm{\exists }f:\beta \to \alpha ,\mathrm{S}\mathrm{u}\mathrm{p}(f[\beta ])=\alpha \wedge \mathrm{\forall }\gamma <\beta ,\mathrm{\neg }\mathrm{\exists }g:\gamma \to \alpha ,\mathrm{S}\mathrm{u}\mathrm{p}(g[\gamma ])=\alpha )$

序数α的共尾度cf(α)，是满足以下条件的唯一的序数β：

1. β是序数；
2. 存在从β到α的函数f，使得f在β上的像的上确界等于α（即f的像在α中无界）；
3. 对任意小于β的序数γ，都不存在从γ到α的函数g，使得g的像的上确界等于α（即β是能构造出这种无界函数的最小序数）。

共尾度刻画的是 “一个序数能被多小的序数的序列从下方逼近”。典型示例：cf(ω)=ω，cf(ℵ_ω​)=ω，cf(ℵ₁​)=ℵ₁​。

正则基数谓词 Regular(κ)

$\mathrm{R}\mathrm{e}\mathrm{g}\mathrm{u}\mathrm{l}\mathrm{a}\mathrm{r}(\kappa )⟺\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )\wedge \mathrm{c}\mathrm{f}(\kappa )=\kappa$

谓词$\mathrm{R}\mathrm{e}\mathrm{g}\mathrm{u}\mathrm{l}\mathrm{a}\mathrm{r}(\kappa )$表示κ是一个正则基数，即κ是基数，且其共尾性等于自身，等价于κ无法被基数小于κ的、若干个小于κ的序数的并集所覆盖。

极限基数谓词 LimitCard(κ)

$\mathrm{L}\mathrm{i}\mathrm{m}\mathrm{i}\mathrm{t}\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )⟺\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )\wedge \mathrm{\forall }\lambda <\kappa ,{\lambda }^{+}<\kappa$

谓词$\mathrm{L}\mathrm{i}\mathrm{m}\mathrm{i}\mathrm{t}\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )$表示κ是一个极限基数，即κ是基数，且对于任意小于κ的基数λ，其后继基数${\lambda }^{+}$仍小于κ，即κ不是任何基数的后继。

弱不可达基数谓词 Inacc(κ)

$\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\kappa )⟺\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )\wedge \kappa >\omega \wedge \mathrm{R}\mathrm{e}\mathrm{g}\mathrm{u}\mathrm{l}\mathrm{a}\mathrm{r}(\kappa )\wedge \mathrm{L}\mathrm{i}\mathrm{m}\mathrm{i}\mathrm{t}\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )$

谓词$\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\kappa )$表示κ是一个弱不可达基数，即κ是大于ω的、正则的极限基数。

大基数前置核心概念

无界闭集谓词 Club(C,α)

$\mathrm{C}\mathrm{l}\mathrm{u}\mathrm{b}(C,\alpha )⟺\mathrm{L}\mathrm{i}\mathrm{m}(\alpha )\wedge C\subseteq \alpha \wedge (\mathrm{\forall }\beta <\alpha ,\mathrm{\exists }\gamma \in C,\beta <\gamma )\wedge (\mathrm{\forall }\lambda <\alpha ,\mathrm{L}\mathrm{i}\mathrm{m}(\lambda )\wedge \mathrm{S}\mathrm{u}\mathrm{p}(C\cap \lambda )=\lambda \to \lambda \in C)$

谓词$\mathrm{C}\mathrm{l}\mathrm{u}\mathrm{b}(C,\alpha )$表示C是极限序数α中的无界闭集，定义包含两个核心条件：

1. 无界性：对任意小于α的序数β，都存在C中的元素γ大于β；
2. 闭性：对任意小于α的极限序数λ，若C与λ的交的上确界等于λ（即C在λ中无界），则λ属于C。

平稳集谓词 Stationary(S,α)

$\mathrm{S}\mathrm{t}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\mathrm{a}\mathrm{r}\mathrm{y}(S,\alpha )⟺S\subseteq \alpha \wedge \mathrm{\forall }C,\mathrm{C}\mathrm{l}\mathrm{u}\mathrm{b}(C,\alpha )\to S\cap C\ne \mathrm{\varnothing }$

谓词$\mathrm{S}\mathrm{t}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\mathrm{a}\mathrm{r}\mathrm{y}(S,\alpha )$表示S是α中的平稳集，即S是α的子集，且与α中的任意无界闭集都有非空交集，是大基数理论中刻画“大子集”的核心概念。

正则基数集 RegSet(κ)

$\mathrm{R}\mathrm{e}\mathrm{g}\mathrm{S}\mathrm{e}\mathrm{t}(\kappa )=\{\alpha <\kappa \mid \mathrm{R}\mathrm{e}\mathrm{g}\mathrm{u}\mathrm{l}\mathrm{a}\mathrm{r}(\alpha )\}$

$\mathrm{R}\mathrm{e}\mathrm{g}\mathrm{S}\mathrm{e}\mathrm{t}(\kappa )$表示所有小于κ的正则基数构成的集合，是Mahlo基数定义的核心组件。

Π¹ₙ-不可描述谓词 Π¹ₙ-Indescr(κ)

${\mathrm{\Pi }}_n^1\text{-Indescr}(\kappa )⟺\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\kappa )\wedge \mathrm{\forall }{A}_1,...,A_m\subseteq V_{\kappa },\mathrm{\forall }\phi \in {\mathrm{\Pi }}_n^1,((V_{\kappa },\in ,\overrightarrow{A})\models \phi \to \mathrm{\exists }\alpha <\kappa ,(V_{\alpha },\in ,\overrightarrow{A}\cap V_{\alpha })\models \phi )$

谓词${\mathrm{\Pi }}_n^1\text{-Indescr}(\kappa )$表示κ是Π¹ₙ-不可描述基数，即κ是弱不可达基数，且所有在带有限个谓词的模型$(V_{\kappa },\in ,\overrightarrow{A})$中成立的Π¹ₙ公式，都能反射到某个更小的模型$(V_{\alpha },\in ,\overrightarrow{A}\cap V_{\alpha })$中成立。

完全不可描述谓词 Π¹_ω-Indescr(κ)

${\mathrm{\Pi }}_{\omega }^1\text{-Indescr}(\kappa )⟺\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\kappa )\wedge \mathrm{\forall }n<\omega ,{\mathrm{\Pi }}_n^1\text{-Indescr}(\kappa )$

谓词${\mathrm{\Pi }}_{\omega }^1\text{-Indescr}(\kappa )$表示κ是完全不可描述基数，即κ是弱不可达基数，且对所有有限的n<ω，κ都是Π¹ₙ-不可描述基数，所有二阶公式都能被反射。

Π²₀-不可描述谓词 Π²₀-Indescr(κ)

${\mathrm{\Pi }}_0^2\text{-Indescr}(\kappa )⟺\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\kappa )\wedge \mathrm{\forall }A\subseteq V_{\kappa },\mathrm{\forall }\phi \in {\mathrm{\Pi }}_0^2,((V_{\kappa },\in ,A)\models \phi \to \mathrm{\exists }\alpha <\kappa ,(V_{\alpha },\in ,A\cap V_{\alpha })\models \phi )$

谓词${\mathrm{\Pi }}_0^2\text{-Indescr}(\kappa )$表示κ是Π²₀-不可描述基数，即κ是弱不可达基数，且所有在带一个谓词的模型$(V_{\kappa },\in ,A)$中成立的Π²₀公式，都能反射到某个更小的模型$(V_{\alpha },\in ,A\cap V_{\alpha })$中成立。

核心序数与基数锚点构造

1. 最小无限序数 ω

$\omega =\iota \alpha (\mathrm{L}\mathrm{i}\mathrm{m}(\alpha )\wedge \mathrm{\forall }\beta ,\mathrm{L}\mathrm{i}\mathrm{m}(\beta )\to \alpha \le \beta )$

$\omega$是最小无限序数，定义为满足以下条件的唯一序数：它是极限序数，且是所有极限序数中最小的那个。是序数分析的基础锚点。

2. Ω（Ω₁，第一个不可数基数）

$\mathrm{\Omega }={\mathrm{\Omega }}_1=\iota \kappa (\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\kappa )\wedge \mathrm{\neg }\mathrm{C}\mathrm{o}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{a}\mathrm{b}\mathrm{l}\mathrm{e}(\kappa )\wedge \mathrm{\forall }\lambda ,\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{d}(\lambda )\wedge \mathrm{\neg }\mathrm{C}\mathrm{o}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{a}\mathrm{b}\mathrm{l}\mathrm{e}(\lambda )\to \kappa \le \lambda )$

$\mathrm{\Omega }$（也记作${\mathrm{\Omega }}_1$，对应标准集合论的${\mathrm{\aleph }}_1$）是第一个不可数基数，定义为满足以下条件的唯一基数：它是不可数基数，且是所有不可数基数中最小的那个。是Buchholz序数坍缩函数的核心锚点。

3. Ω_α 序列（第α个无限初始序数）

${\mathrm{\Omega }}_0=1$
$\mathrm{\forall }\alpha ,{\mathrm{\Omega }}_{\alpha +1}=({\mathrm{\Omega }}_{\alpha }{)}^{+}$
$\mathrm{\forall }\lambda ,\mathrm{L}\mathrm{i}\mathrm{m}(\lambda )\to {\mathrm{\Omega }}_{\lambda }=\mathrm{S}\mathrm{u}\mathrm{p}\{{\mathrm{\Omega }}_{\alpha }\mid \alpha <\lambda \}$

${\mathrm{\Omega }}_{\alpha }$序列是对无限初始序数的递归构造，对应标准集合论中的阿列夫（$\mathrm{\aleph }$）序列，定义分为三类情况：

1. 零阶情况：${\mathrm{\Omega }}_0$定义为1，即第一个有限基数；
2. 后继情况：对任意序数α，第α+1个无限初始序数是第α个无限初始序数的后继基数；
3. 极限情况：对任意极限序数λ，第λ个无限初始序数是所有下标小于λ的${\mathrm{\Omega }}_{\alpha }$的上确界。

4. Ω_Ω（Bird's Ordinal 锚点）

${\mathrm{\Omega }}_{\mathrm{\Omega }}=\mathrm{S}\mathrm{u}\mathrm{p}\{{\mathrm{\Omega }}_{\alpha }\mid \alpha <\mathrm{\Omega }\}$

${\mathrm{\Omega }}_{\mathrm{\Omega }}$是第$\mathrm{\Omega }$个无限初始序数，定义为所有下标小于$\mathrm{\Omega }$的${\mathrm{\Omega }}_{\alpha }$的上确界，是大序数理论中Bird's Ordinal的核心锚点构造。

5. I（第一个弱不可达基数，Extended Buchholz Ordinal 锚点）

$I=\iota \kappa (\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\kappa )\wedge \mathrm{\forall }\lambda <\kappa ,\mathrm{\neg }\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\lambda ))$

$I$是第一个弱不可达基数，定义为满足弱不可达性质的最小基数，是Extended Buchholz Ordinal的标准锚点，一致性强度严格高于所有${\mathrm{\Omega }}_{\alpha }$序列中的基数。

标准大基数锚点定义（按一致性强度递增）

1. M：最小弱Mahlo基数（对应KPM）

$M=\iota \kappa (\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\kappa )\wedge \mathrm{S}\mathrm{t}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\mathrm{a}\mathrm{r}\mathrm{y}(\mathrm{R}\mathrm{e}\mathrm{g}\mathrm{S}\mathrm{e}\mathrm{t}(\kappa ),\kappa )\wedge \mathrm{\forall }\lambda <\kappa ,\mathrm{\neg }(\mathrm{I}\mathrm{n}\mathrm{a}\mathrm{c}\mathrm{c}(\lambda )\wedge \mathrm{S}\mathrm{t}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\mathrm{a}\mathrm{r}\mathrm{y}(\mathrm{R}\mathrm{e}\mathrm{g}\mathrm{S}\mathrm{e}\mathrm{t}(\lambda ),\lambda )))$

$M$是最小弱Mahlo基数，定义为满足以下条件的唯一基数：它是弱不可达基数，且小于自身的正则基数集在自身中是平稳集，同时是所有满足该性质的基数中最小的那个。对应证明论系统为KPM，是高阶序数坍缩函数的核心锚点。

2. K：最小弱紧基数（最小Π¹₁-不可描述基数）

$K=\iota \kappa ({\mathrm{\Pi }}_1^1\text{-Indescr}(\kappa )\wedge \mathrm{\forall }\lambda <\kappa ,\mathrm{\neg }{\mathrm{\Pi }}_1^1\text{-Indescr}(\lambda ))$

$K$是最小弱紧基数，即最小的Π¹₁-不可描述基数，定义为满足Π¹₁-不可描述性质的最小基数，一致性强度严格高于弱Mahlo基数。对应证明论系统为$\text{KP}+{\mathrm{\Pi }}_{\text{set}}^3\text{-Reflection}$。

3. S：最小Π¹₂-不可描述基数

$S=\iota \kappa ({\mathrm{\Pi }}_2^1\text{-Indescr}(\kappa )\wedge \mathrm{\forall }\lambda <\kappa ,\mathrm{\neg }{\mathrm{\Pi }}_2^1\text{-Indescr}(\lambda ))$

$S$是最小的Π¹₂-不可描述基数，定义为满足Π¹₂-不可描述性质的最小基数，一致性强度高于弱紧基数，是序数坍缩函数$\psi ({\mathrm{\Omega }}_{S+\omega })$的标准锚点。

4. X：最小完全不可描述基数（最小Π¹_ω-不可描述基数）

$X=\iota \kappa ({\mathrm{\Pi }}_{\omega }^1\text{-Indescr}(\kappa )\wedge \mathrm{\forall }\lambda <\kappa ,\mathrm{\neg }{\mathrm{\Pi }}_{\omega }^1\text{-Indescr}(\lambda ))$

$X$是最小完全不可描述基数，即最小的Π¹_ω-不可描述基数，定义为满足完全不可描述性质的最小基数，一致性强度高于所有有限阶的Π¹ₙ-不可描述基数。对应证明论系统为$\text{KP}+{\mathrm{\Pi }}_{\omega }^{\text{set}}\text{-Reflection}$。

5. Ξ：最小Π²₀-不可描述基数

$\mathrm{\Xi }=\iota \kappa ({\mathrm{\Pi }}_0^2\text{-Indescr}(\kappa )\wedge \mathrm{\forall }\lambda <\kappa ,\mathrm{\neg }{\mathrm{\Pi }}_0^2\text{-Indescr}(\lambda ))$

$\mathrm{\Xi }$是最小的Π²₀-不可描述基数，定义为满足Π²₀-不可描述性质的最小基数，是本备份中一致性强度最高的锚点。对应证明论系统为${\mathrm{\Delta }}_2^1\text{-CA}+\text{BI}+{\mathrm{\Pi }}_2^1{\text{-CA}}^{-}$；注：部分资料中该符号被误写为H。