Criteria of Constructibility for Real Numbers

Journal of Symbolic Logic 20 (2):178-178 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266929

Links

PhilArchive



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

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

Criteria of constructibility for real numbers.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):7-10.
Review: John Myhill, Criteria of Constructibility for Real Numbers. [REVIEW]Martin Davis - 1955 - Journal of Symbolic Logic 20 (2):178-178.
Constructibility and Decidability versus Domain Independence and Absoluteness.Arnon Avron - unknown
A Banach–Mazur computable but not Markov computable function on the computable real numbers.Peter Hertling - 2005 - Annals of Pure and Applied Logic 132 (2-3):227-246.
Primitive recursive real numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
H‐monotonically computable real numbers.Xizhong Zheng, Robert Rettinger & George Barmpalias - 2005 - Mathematical Logic Quarterly 51 (2):157-170.
The Arithmetical Hierarchy of Real Numbers.Xizhong Zheng & Klaus Weihrauch - 2001 - Mathematical Logic Quarterly 47 (1):51-66.
Constructibility in Quantum Mechanics.David Jacob BenDaniel - unknown
Real numbers and other completions.Fred Richman - 2008 - Mathematical Logic Quarterly 54 (1):98-108.
Monotonically Computable Real Numbers.Robert Rettinger, Xizhong Zheng, Romain Gengler & Burchard von Braunmühl - 2002 - Mathematical Logic Quarterly 48 (3):459-479.
Constructibility in Physics.David J. BenDaniel - unknown
Primitive recursive real numbers.Qingliang Chen, Kaile Kaile & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4):365-380.
Representations of the real numbers and of the open subsets of the set of real numbers.Klaus Weihrauch & Christoph Kreitz - 1987 - Annals of Pure and Applied Logic 35 (C):247-260.
Non-constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.
On the ordered Dedekind real numbers in toposes.Marcelo E. Coniglio & Luís A. Sbardellini - 2015 - In Edward H. Haeusler, Wagner Sanz & Bruno Lopes (eds.), Why is this a Proof? Festschrift for Luiz Carlos Pereira. College Publications. pp. 87-105.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,540,420)

6 months
4 (#790,394)

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