菲弗曼-舒特序数
外观
在数学中,菲弗曼-舒特序数 Γ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)
![]() | 这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。 |