A Complete Theory of Natural, Rational, and Real Numbers

Journal of Symbolic Logic 16 (1):65-67 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268691

Links

PhilArchive



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

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

A complete theory of natural, rational, and real numbers.John R. Myhill - 1950 - Journal of Symbolic Logic 15 (3):185-196.
Myhill John R.. A complete theory of natural, rational, and real numbers. [REVIEW]W. V. Quine - 1951 - Journal of Symbolic Logic 16 (1):65-67.
Review: John R. Myhill, A Complete Theory of Natural, Rational, and Real Numbers. [REVIEW]W. V. Quine - 1951 - Journal of Symbolic Logic 16 (1):65-67.
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
The Arithmetical Hierarchy of Real Numbers.Xizhong Zheng & Klaus Weihrauch - 2001 - Mathematical Logic Quarterly 47 (1):51-66.
Computational complexity of quantifier-free negationless theory of field of rational numbers.Nikolai Kossovski - 2001 - Annals of Pure and Applied Logic 113 (1-3):175-180.
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.
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.
Monotonically Computable Real Numbers.Robert Rettinger, Xizhong Zheng, Romain Gengler & Burchard von Braunmühl - 2002 - Mathematical Logic Quarterly 48 (3):459-479.
On Using Measuring Numbers according to Measuring Theories.Wilhelm K. Essler - 2008 - ProtoSociology 25:49-65.
TheL <ω-theory of the class of Archimedian real closed fields.Gerd Bürger - 1989 - Archive for Mathematical Logic 28 (3):155-166.
Primitive recursive real numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
Real numbers and other completions.Fred Richman - 2008 - Mathematical Logic Quarterly 54 (1):98-108.
A Note On The Axiomatisation Of Real Numbers.Thierry Coquand & L. Henri Lombardi - 2008 - Mathematical Logic Quarterly 54 (3):224-228.
H‐monotonically computable real numbers.Xizhong Zheng, Robert Rettinger & George Barmpalias - 2005 - Mathematical Logic Quarterly 51 (2):157-170.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,432,111)

6 months
3 (#760,965)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
Buttresses of the Turing Barrier.Paolo Cotogno - 2015 - Acta Analytica 30 (3):275-282.

Add more citations

References found in this work

No references found.

Add more references