Multiple Recursion

Mathematical Logic Quarterly 8 (2):81-107 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19620080202

Other Versions

original Lachlan, A. H. (1962) "Multiple Recursion". Mathematical Logic Quarterly 8(2):81-107

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,395

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

Term rewriting theory for the primitive recursive functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
Simply terminating rewrite systems with long derivations.Ingo Lepper - 2004 - Archive for Mathematical Logic 43 (1):1-18.
A. H. Lachlan. On countable stable structures which are homogeneous for a finite relational language. Israel journal of mathematics, vol. 49 , pp. 69–153. - G. Cherlin and A. H. Lachlan. Stable finitely homogeneous structures. Transactions of the American Mathematical Society, vol. 296 , pp. 815–850. [REVIEW]Dugald Macpherson - 1993 - Journal of Symbolic Logic 58 (1):350-352.
A. H. Lachlan. On a problem of G. E. Sacks. Proceedings of the American Mathematical Society, vol. 16 , pp. 972–979.Gustav B. Hensel - 1967 - Journal of Symbolic Logic 32 (1):125.
Recursion on Homogeneous Trees.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (19-20):295-298.
Iteration of Primitive Recursion.Paul Axt - 1965 - Mathematical Logic Quarterly 11 (3):253-255.
Transfinite Recursion in a Theory of Properties.Stephen Pollard - 1986 - Mathematical Logic Quarterly 32 (19‐24):307-314.

Analytics

Added to PP
2013-11-24

Downloads
15 (#1,123,603)

6 months
13 (#398,357)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.

Add more references