Spector Clifford. Recursive well-orderings

Journal of Symbolic Logic 21 (4):412-413 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268430

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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: Clifford Spector, Recursive Well-Orderings. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):412-413.
Review: Clifford Spector, Recursive Ordinals and Predicative Set Theory. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):138-138.
Review: Clifford Spector, On Degrees of Recursive Unsolvability. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):374-375.
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.
Review: Clifford Spector, Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated in Current Intuitionistic Mathematics. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (1):128-128.
Spector Clifford. On degrees of recursive unsolvability. Annals of mathematics, ser. 2 vol. 64 , pp. 581–592.Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):374-375.
Clifford Spector. Recursive ordinals and predicative set theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 377–382. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):138-138.
Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
Recursive Well-Orderings.Clifford Spector - 1956 - Journal of Symbolic Logic 21 (4):412-413.
Hierarchies Over Recursive Well-Orderings.Herbert Enderton & David Luckham - 1966 - Journal of Symbolic Logic 31 (2):263-263.

Analytics

Added to PP
2016-06-30

Downloads
6 (#711,559)

6 months
2 (#1,816,284)

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