Loading AI tools
Pour les articles homonymes, voir Feferman.
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.
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.
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).
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
- (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).
- (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)
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
