Sciweavers

APAL
2006

Ackermann's substitution method (remixed)

13 years 11 months ago
Ackermann's substitution method (remixed)
We aim at a conceptually clear and technical smooth investigation of Ackermann's substitution method. Our analysis provides a direct classification of the provable recursive functions of PA , i.e. Peano Arithmetic framed in the -calculus. Key words: Peano Arithmetic, Provable recursive functions, Epsilon substitution method. 1991 MSC: 03F30, 03F05, 03F15
Georg Moser
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where APAL
Authors Georg Moser
Comments (0)