菲弗曼-舒特序数

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

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

定义

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

参考文献

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