菲弗曼-舒特序數

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

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

定義

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

這是一篇關於數學的小作品。您可以透過編輯或修訂擴充其內容。