A complete theory of natural, rational, and real numbers

Journal of Symbolic Logic 15 (3):185-196 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Complexity, Decidability and Completeness.Douglas Cenzer & Jeffrey B. Remmel - 2006 - Journal of Symbolic Logic 71 (2):399 - 424.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Scott incomplete Boolean ultrapowers of the real line.Masanao Ozawa - 1995 - Journal of Symbolic Logic 60 (1):160-171.
Wittgenstein and the Real Numbers.Daesuk Han - 2010 - History and Philosophy of Logic 31 (3):219-245.
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.

Analytics

Added to PP
2009-01-28

Downloads
50 (#311,977)

6 months
15 (#159,128)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

“The Tragedy of Verbal Metaphysics” by Leon Chwistek.Adam Trybus & Bernard Linsky - 2017 - Journal for the History of Analytical Philosophy 5 (1).
On Chwistek’s Philosophy of Mathematics.Roman Murawski - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1):121-130.
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

Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.
An extension of basic logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):95-106.
A basic logic.Frederic B. Fitch - 1942 - Journal of Symbolic Logic 7 (3):105-114.
An Extension of Basic Logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (1):68-69.

View all 8 references / Add more references