菲弗曼-舒特序数

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

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

定义

编辑

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

参考文献

编辑