×

Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d’incompletude et fonctions recursives à croissance rapide. (French) Zbl 0462.03017

Astérisque 73, 41-58 (1980).
For the entire collection see [Zbl 0424.00006].

MSC:

03H15 Nonstandard models of arithmetic
03F99 Proof theory and constructive mathematics

Citations:

Zbl 0458.03024
PDF BibTeX XML Cite