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

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19710170125

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

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

The Equivalence of Different Hierarchies of Elementary Functions.G. T. Herman - 1971 - Mathematical Logic Quarterly 17 (1):219-224.
Elementary equivalence of some rings of definable functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
Equivalence of some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Mathematical Logic Quarterly 25 (25‐29):411-418.
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
Equivalence of some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):411-418.
An elementary notion of gauge equivalence.Gordon Belot - 2008 - General Relativity and Gravitation 40 (1):199–215.
Elementary Functions and LOOP Programs.Zlatan Damnjanovic - 1994 - Notre Dame Journal of Formal Logic 35 (4):496-522.
Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions.Ilya Makarov - 2015 - Logica Universalis 9 (1):1-26.
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes.Daniele Mundici - 1981 - Studia Logica 40 (3):253 - 267.
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.
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.

Analytics

Added to PP
2016-02-04

Downloads
22 (#703,549)

6 months
2 (#1,193,798)

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