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