Ordinal de Feferman-Schütte
Apparence
En mathématiques, et plus précisément en théorie des ensembles, l’ordinal de Feferman–Schütte, noté Γ0, est un grand ordinal dénombrable, étudié par Solomon Feferman et Kurt Schütte.
Définition
[modifier | modifier le code]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 . Autrement dit, c'est le plus petit α tel que .
Il est généralement noté Γ0 (Gamma 0).
Propriétés
[modifier | modifier le code]Source de la traduction
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Feferman-Schütte ordinal » (voir la liste des auteurs).
Bibliographie
[modifier | modifier le code]- (en) Wolfram Pohlers, Proof theory : An Introduction, vol. 1407, Berlin, Springer-Verlag, coll. « Lecture Notes in Mathematics », , 213 p. (ISBN 3-540-51842-8, MR 1026933, lire en ligne)
- (en) Nik Weaver, Predicativity beyond Gamma_0, (arXiv math/0509244)