A note on the axiomatisation of real numbers

&
Mathematical Logic Quarterly 54 (3):224-228 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

External links

  • This entry has no external links. Add one.
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

Order‐free Recursion on the Real Numbers.Vasco Brattka - 1997 - Mathematical Logic Quarterly 43 (2):216-234.
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Primitive recursive real numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
Primitive recursive real numbers.Qingliang Chen, Kaile Kaile & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4):365-380.
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.
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.
On Σ‐definability without equality over the real numbers.Andrei S. Morozov & Margarita V. Korovina - 2008 - Mathematical Logic Quarterly 54 (5):535-544.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
Non-constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.
Real numbers, continued fractions and complexity classes.Salah Labhalla & Henri Lombardi - 1990 - Annals of Pure and Applied Logic 50 (1):1-28.
Real numbers and other completions.Fred Richman - 2008 - Mathematical Logic Quarterly 54 (1):98-108.
Is time a continuum of instants.Michael Dummett - 2000 - Philosophy 75 (4):497-515.

Analytics

Added to PP
2013-12-01

Downloads
1 (#1,909,106)

6 months
1 (#1,503,385)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references