菲弗曼-舒特序數

在數學中，菲弗曼-舒特序數 Γ₀ 是一個大可數序數。它是若干數學理論的序分析依據。它以所羅門·菲弗曼和庫爾特·舒特命名。

人們有時稱它是第一個非斷言序數，雖然這是有爭議的，部分原因是由於沒有普遍接受的確切定義“非斷言”。有時，序數如果少於Γ₀就被稱為斷言。

定義

菲弗曼-舒特序數被定義為如下最小的序數，其不能以從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）