Ordinal de Feferman-Schütte

Modèle:Voir homonymes Modèle:Ébauche En mathématiques, et plus précisément en théorie des ensembles, l’ordinal de Feferman–Schütte, noté Γ₀, est un grand ordinal dénombrable, étudié par Solomon Feferman et Kurt Schütte.

Définition

L'ordinal de Feferman–Schütte est le plus petit ordinal qui ne peut être atteint à partir de 0 en utilisant seulement l'addition des ordinaux et les fonctions de Veblen ${\phi }_{\alpha }(\beta )$. Autrement dit, c'est le plus petit α tel que ${\phi }_{\alpha }(0)=\alpha$.

Il est généralement noté Γ₀ (Gamma 0).

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage