| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662411 | Annals of Pure and Applied Logic | 2006 | 18 Pages |
Abstract
We aim at a conceptually clear and technically smooth investigation of Ackermann’s substitution method [W. Ackermann, Zur Widerspruchsfreiheit der Zahlentheorie, Math. Ann. 117 (1940) 162–194]. Our analysis provides a direct classification of the provably recursive functions of , i.e. Peano Arithmetic framed in the ε-calculus.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
