Ordinal de Feferman-Schütte
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Feferman.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/69/Aleph.svg/33px-Aleph.svg.png)
Cet article est une ébauche concernant la théorie des ensembles.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Fairytale_warning.png/17px-Fairytale_warning.png)
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Source de la traduction
- (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
- (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)
Portail des mathématiques