序数坍缩函数：修订间差异

2025年7月4日 (五) 20:32的版本

序数塌缩函数(Ordinal Collapsing Function,OCF)是一种序数函数。它们的特点是利用足够大的序数(通常是非递归序数)来输出递归序数。事实上，OCF有很多不同的版本。本词条着力于介绍BO之前的BOCF(Buchholz's OCF)和MOCF(Madore's OCF)。

BOCF

定义

BOCF的定义如下：

MOCF

@@ 第2行： / 第2行： @@
 == BOCF ==
+=== 定义 ===
+BOCF的定义如下：
 == MOCF ==
 [[分类:记号]]