An introduction to hyperarithmetical functions

Journal of Symbolic Logic 32 (3):325-342 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270774

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

Robinson Julia. A note on primitive recursive functions. Ebd., S. 667–670.Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
Julia Robinson. Recursive functions of one variable. Proceedings of the American Mathematical Society, vol. 19 , pp. 815–820. [REVIEW]Martin Davis - 1970 - Journal of Symbolic Logic 35 (3):476.
Robinson Julia. General recursive functions. Proceedings of the American Mathematical Society, vol. 1 no. 6 , pp. 703–718. [REVIEW]Martin Davis - 1951 - Journal of Symbolic Logic 16 (4):280-280.
Robinson Julia. Definability and decision problems in arithmetic.Th Skolem - 1950 - Journal of Symbolic Logic 15 (1):68-69.
Julia Robinson. Existential definability in arithmetic. Transactions of the American Mathematical Society, Bd. 72 , S. 437–449. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (2):182-183.
Julia Robinson. Unsolvable diophantine problems. Proceedings of the American Mathematical Society, vol. 22 , pp. 534–538. [REVIEW]Robert A. DiPaola - 1972 - Journal of Symbolic Logic 37 (3):603-604.
Julia Robinson. The undecidability of algebraic rings and fields. Proceedings of the American Mathematical Society, vol. 10 , pp. 950–957. [REVIEW]Martin Davis - 1964 - Journal of Symbolic Logic 29 (1):57-58.
A note on the hyperarithmetical hierarchy.H. B. Enderton & Hilary Putnam - 1970 - Journal of Symbolic Logic 35 (3):429-430.
Hyperarithmetical Quantifiers.C. Spector & Shih-Chao Liu - 1966 - Journal of Symbolic Logic 31 (1):137-137.
Review: Raphael M. Robinson, Primitive Recursive Functions. II. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):375-376.

Analytics

Added to PP
2009-01-28

Downloads
47 (#473,047)

6 months
13 (#268,562)

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

Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.

Add more references