A. H. Lachlan. Recursive real numbers. The journal of symbolic logic, vol. 28 no. 1 , pp. 1–16

Journal of Symbolic Logic 30 (2):256 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270170

Links

PhilArchive



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

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: A. H. Lachlan, Recursive Real Numbers. [REVIEW]Paul Axt - 1965 - Journal of Symbolic Logic 30 (2):256-256.
Recursive Real Numbers.Paul Axt - 1965 - Journal of Symbolic Logic 30 (2):256-256.
Recursive real numbers.A. H. Lachlan - 1963 - Journal of Symbolic Logic 28 (1):1-16.
Discontinuities of provably correct operators on the provably recursive real numbers.William J. Collins & Paul Young - 1983 - Journal of Symbolic Logic 48 (4):913-920.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 , pp. 105–118. [REVIEW]Paul Axt - 1962 - Journal of Symbolic Logic 27 (2):245-246.
R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 , pp. 105–118.Paul Axt - 1962 - Journal of Symbolic Logic 27 (2):245-246.
Recursive Real Numbers.Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):177-177.
On Primitive Recursive Real Numbers.R. S. Lehman - 1962 - Journal of Symbolic Logic 27 (2):245-246.
Order‐free Recursion on the Real Numbers.Vasco Brattka - 1997 - Mathematical Logic Quarterly 43 (2):216-234.
Review: H. G. Rice, Recursive Real Numbers. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):177-177.
Review: Paul R. Young, An Effective Operator, Continuous but not Partial Recursive. [REVIEW]A. H. Lachlan - 1970 - Journal of Symbolic Logic 35 (3):477-478.
Recursive in a generic real.Juichi Shinoda & Theodore A. Slaman - 2000 - Journal of Symbolic Logic 65 (1):164-172.
H. G. Rice. Recursive real numbers. Proceedings of the American Mathematical Society, vol. 5 , pp. 784–791.Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):177.
Primitive recursive real numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.

Analytics

Added to PP
2016-06-30

Downloads
17 (#849,202)

6 months
5 (#638,139)

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