Equivalence of some Hierarchies of Primitive Recursive Functions

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):411-418 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19790252506

Other Versions

original Harrow, Keith (1979) "Equivalence of some Hierarchies of Primitive Recursive Functions". Mathematical Logic Quarterly 25(25‐29):411-418

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Equivalence of some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Mathematical Logic Quarterly 25 (25‐29):411-418.
Comparing Hierarchies of Primitive Recursive Sequence Functions.E. Fachini & A. Maggiolo-Schettini - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):431-445.
Parsons Charles. Hierarchies of primitive recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 , pp. 357–376. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):538-539.
On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):245-253.
A Free‐Variable Theory of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):147-157.

Analytics

Added to PP
2016-02-04

Downloads
25 (#885,875)

6 months
4 (#1,260,583)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Strictly primitive recursive realizability, I.Zlatan Damnjanovic - 1994 - Journal of Symbolic Logic 59 (4):1210-1227.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.

Add more references