菲弗曼-舒特序数

在数学中，菲弗曼-舒特序数 Γ₀ 是一个大可数序数。它是若干数学理论的序分析依据。它以所罗门·菲弗曼和库尔特·舒特命名。

人们有时称它是第一个非断言序数，虽然这是有争议的，部分原因是由于没有普遍接受的确切定义“非断言”。有时，序数如果少于Γ₀就被称为断言。

定义

菲弗曼-舒特序数被定义为如下最小的序数，其不能以从0开始的、使用序数加法与韦伯伦函数 φ_α(β)的方法来得到。这就是说，它是最小的 α 即满足 φ_α(0) = α.

Pohlers, Wolfram, Proof theory, Lecture Notes in Mathematics 1407, Berlin: Springer-Verlag, 1989, ISBN 3-540-51842-8, MR 1026933
Weaver, Nik, Predicativity beyond Gamma_0, 2005 [2009-07-08], （原始内容存档于2016-09-14）

这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。