Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.19650110310
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,954
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

Add more references

Citations of this work BETA

Plain Bases for Classes of Primitive Recursive Functions.Stefano Mazzanti - 2002 - Mathematical Logic Quarterly 48 (1):93-104.
Control Structures in Programs and Computational Complexity.Karl-Heinz Niggl - 2005 - Annals of Pure and Applied Logic 133 (1-3):247-273.

Add more citations

Similar books and articles

Unary Primitive Recursive Functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
Iteration of Primitive Recursion.Paul Axt - 1965 - Mathematical Logic Quarterly 11 (3):253-255.
Review: Paul Axt, Iteration of Primitive Recursion. [REVIEW]R. M. Baer - 1970 - Journal of Symbolic Logic 35 (3):479-479.
More Existence Theorems for Recursion Categories.Florian Lengyel - 2004 - Annals of Pure and Applied Logic 125 (1-3):1-41.
Term Rewriting Theory for the Primitive Recursive Functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
The Equivalence of Bar Recursion and Open Recursion.Thomas Powell - 2014 - Annals of Pure and Applied Logic 165 (11):1727-1754.
Bounded Iteration and Unary Functions.Stefano Mazzanti - 2005 - Mathematical Logic Quarterly 51 (1):89-94.
On Nested Simple Recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
Monotone Majorizable Functionals.Helmut Schwichtenberg - 1999 - Studia Logica 62 (2):283-289.
Epistemic and Methodological Iteration in Scientific Research.Kevin C. Elliott - 2012 - Studies in History and Philosophy of Science Part A 43 (2):376-382.
How to Win Some Simple Iteration Games.Alessandro Andretta & John Steel - 1997 - Annals of Pure and Applied Logic 83 (2):103-164.

Analytics

Added to PP index
2016-02-04

Total views
16 ( #626,804 of 2,427,266 )

Recent downloads (6 months)
1 ( #540,061 of 2,427,266 )

How can I increase my downloads?

Downloads

My notes