Ordinal de Feferman-Schütte
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.
Pour les articles homonymes, voir Feferman.
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).
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, Math Reviews 1026933, lire en ligne)
- (en) Nik Weaver, Predicativity beyond Gamma_0, (arXiv math/0509244)
Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.