Feferman–Schütte ordinal
In mathematics, the Feferman–Schütte ordinal Γ0 is a large countable ordinal.It is the proof theoretic ordinal of several mathematical theories, such as arithmetical transfinite recursion.It is named after Solomon Feferman and Kurt Schütte. It is sometimes said to be the first impredicative ordinal, though this is controversial, partly because there is no generally accepted precise definition of "predicative". Sometimes an ordinal is said to be predicative if it is less than Γ0. , or
primaryTopic
Feferman–Schütte ordinal
In mathematics, the Feferman–Schütte ordinal Γ0 is a large countable ordinal.It is the proof theoretic ordinal of several mathematical theories, such as arithmetical transfinite recursion.It is named after Solomon Feferman and Kurt Schütte. It is sometimes said to be the first impredicative ordinal, though this is controversial, partly because there is no generally accepted precise definition of "predicative". Sometimes an ordinal is said to be predicative if it is less than Γ0. , or
has abstract
En mathématiques, et plus préc ...... Feferman et Kurt Schütte (en).
@fr
En teoría de conjuntos, el ord ...... lomon Feferman y Kurt Schütte.
@es
In mathematics, the Feferman–S ...... nal collapsing functions: , or
@en
在數學中,菲弗曼-舒特序數 Γ0 是一個大可數序數。它是若干 ...... 受的確切定義“非斷言”。有時,序數如果少於Γ0就被稱為斷言。
@zh
Wikipage page ID
16,084,455
Wikipage revision ID
729,014,614
subject
comment
En mathématiques, et plus préc ...... Feferman et Kurt Schütte (en).
@fr
En teoría de conjuntos, el ord ...... lomon Feferman y Kurt Schütte.
@es
In mathematics, the Feferman–S ...... ve if it is less than Γ0. , or
@en
在數學中,菲弗曼-舒特序數 Γ0 是一個大可數序數。它是若干 ...... 受的確切定義“非斷言”。有時,序數如果少於Γ0就被稱為斷言。
@zh
label
Feferman–Schütte ordinal
@en
Ordinal de Feferman-Schütte
@es
Ordinal de Feferman-Schütte
@fr
菲弗曼-舒特序數
@zh