Back to Search
Start Over
On nested simple recursion.
- Source :
-
Archive for Mathematical Logic . Jun2011, Vol. 50 Issue 5/6, p617-624. 8p. 1 Diagram. - Publication Year :
- 2011
-
Abstract
- We give a novel proof that primitive recursive functions are closed under nested simple recursion. This new presentation is supplied with a detailed proof which can be easily formalized in small fragments of Peano Arithmetic. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09335846
- Volume :
- 50
- Issue :
- 5/6
- Database :
- Academic Search Index
- Journal :
- Archive for Mathematical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 60904512
- Full Text :
- https://doi.org/10.1007/s00153-011-0236-9