Ordinal de Feferman-Schütte
Pour les articles homonymes, voir Feferman.
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
[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]
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
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)
