Herbert Enderton and David Luckham. Hierarchies over recursive well-orderings. The journal of symbolic logic, vol. 29 no. 4 , pp. 183–190

Journal of Symbolic Logic 31 (2):263 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269824

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

Review: Herbert Enderton, David Luckham, Hierarchies Over Recursive Well-Orderings. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):263-263.
Hierarchies Over Recursive Well-Orderings.Herbert Enderton & David Luckham - 1966 - Journal of Symbolic Logic 31 (2):263-263.
Hierarchies over recursive well-orderings.Herbert Enderton & David Luckham - 1964 - Journal of Symbolic Logic 29 (4):183-190.
Review: H. B. Enderton, Hierarchies in Recursive Function Theory. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
Enderton H. B.. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III , pp. 457–471. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
Hierarchies in Recursive Function Theory.H. B. Enderton - 1966 - Journal of Symbolic Logic 31 (2):262-263.
Review: Shih-Chao Liu, Four Types of General Recursive Well-Orderings. [REVIEW]Gustav Hensel - 1965 - Journal of Symbolic Logic 30 (2):255-256.
Liu Shih-Chao. Four types of general recursive well-orderings. Notre Dame journal of formal logic, vol. 3 , pp. 75–78.Gustav Hensel - 1965 - Journal of Symbolic Logic 30 (2):255-256.
A construction for recursive linear orderings.C. J. Ash - 1991 - Journal of Symbolic Logic 56 (2):673-683.
C. Spector. Hyperarithmetical quantifiers. Fundamenta mathematicae, vol. 48 no. 3 , pp. 313–320. - Shih-Chao Liu. Recursive linear orderings and hyper arithmetical junctions. Notre Dame journal of formal logic, vol. 3 , pp. 129–132. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (1):137-137.
Review: C. Spector, Hyperarithmetical Quantifiers; Shih-Chao Liu, Recursive Linear Orderings and Hyperarithmetical Functions. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (1):137-137.
H. B. Enderton. On provable recursive functions. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 86–88.Hartley Rogers - 1973 - Journal of Symbolic Logic 38 (3):526-527.
Up to equimorphism, hyperarithmetic is recursive.Antonio Montalbán - 2005 - Journal of Symbolic Logic 70 (2):360-378.
Recursive Well-Orderings.Clifford Spector - 1956 - Journal of Symbolic Logic 21 (4):412-413.
Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,322,828)

6 months
4 (#798,951)

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

No references found.

Add more references