Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide
Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), 18 p. 
@incollection{AST_1980__73__41_0,
     author = {McAloon, Kenneth},
     title = {Progressions transfinies de th\'eories axiomatiques, formes combinatoires du th\'eor\`eme d'incompl\'etude et fonctions r\'ecursives \`a croissance rapide},
     booktitle = {Mod\`eles de l'arithm\'etique : S\'eminaire Paris VII},
     editor = {McAloon Kenneth},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {73},
     year = {1980},
     zbl = {0462.03017},
     mrnumber = {590461},
     language = {fr},
     url = {http://archive.numdam.org/item/AST_1980__73__41_0/}
}
TY  - CHAP
AU  - McAloon, Kenneth
TI  - Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide
BT  - Modèles de l'arithmétique : Séminaire Paris VII
ED  - McAloon Kenneth
T3  - Astérisque
PY  - 1980
DA  - 1980///
IS  - 73
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/AST_1980__73__41_0/
UR  - https://zbmath.org/?q=an%3A0462.03017
UR  - https://www.ams.org/mathscinet-getitem?mr=590461
LA  - fr
ID  - AST_1980__73__41_0
ER  - 
McAloon, Kenneth. Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide, dans Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), 18 p. http://archive.numdam.org/item/AST_1980__73__41_0/

[S] K. Shütte, Proof Theory, Springer-Verlag, 1977. | MR 505313

[Fr] H. Friedman, Simpler combinatorial theorems independent of set theory, manuscrit.

[K,L] G. Kreisel et A. Levy, Reflection principles and their use for establishing the complexity of axiomatic systems, Z. Math. Logik Grundlagen Math., 14. | MR 228333 | Zbl 0167.01302

[Mc] Iterating the new, true improvable formulas, manuscrit.