The Equivalence of Different Hierarchies of Elementary Functions

Mathematical Logic Quarterly 17 (1):219-224 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19710170125

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,497

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.
A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.Mark E. Nadel - 1980 - Mathematical Logic Quarterly 26 (7-9):103-109.
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.Mark E. Nadel - 1980 - Mathematical Logic Quarterly 26 (7‐9):103-109.
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models.A. Preller - 1985 - Mathematical Logic Quarterly 31 (14‐18):227-234.
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models.A. Preller - 1985 - Mathematical Logic Quarterly 31 (14-18):227-234.
Some Elementary Results About the Equivalence of Computability and Decidability.Ulrich Huckenbeck - 1991 - Mathematical Logic Quarterly 37 (5-6):77-84.
Hierarchies of Primitive Recursive Functions.Charles Parsons - 1968 - Mathematical Logic Quarterly 14 (21-24):357-376.
Some Elementary Results About the Equivalence of Computability and Decidability.Ulrich Huckenbeck - 1991 - Mathematical Logic Quarterly 37 (5‐6):77-84.
Hierarchies of Primitive Recursive Functions.Charles Parsons - 1968 - Mathematical Logic Quarterly 14 (21‐24):357-376.

Analytics

Added to PP
2013-11-24

Downloads
38 (#582,994)

6 months
9 (#451,423)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Elementary Functions and LOOP Programs.Zlatan Damnjanovic - 1994 - Notre Dame Journal of Formal Logic 35 (4):496-522.

Add more citations

References found in this work

A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Mathematical Logic Quarterly 9 (22):331-346.
A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (22):331-346.

Add more references