@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] Proof Theory, Springer-Verlag, 1977. | MR 505313
,[Fr] Simpler combinatorial theorems independent of set theory, manuscrit.
,[K,L] Reflection principles and their use for establishing the complexity of axiomatic systems, Z. Math. Logik Grundlagen Math., 14. | MR 228333 | Zbl 0167.01302
et ,[Mc] Iterating the new, true improvable formulas, manuscrit.