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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

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

A Note On The Axiomatisation Of Real Numbers.Thierry Coquand & L. Henri Lombardi - 2008 - Mathematical Logic Quarterly 54 (3):224-228.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
A Note on Hardy's Persistent Numbers.Rod McBeth - 1979 - Mathematical Logic Quarterly 25 (19‐24):375-378.
Order‐free Recursion on the Real Numbers.Vasco Brattka - 1997 - Mathematical Logic Quarterly 43 (2):216-234.
The Elementary Theory of Interval Real Numbers.Stephen D. Comer - 1985 - Mathematical Logic Quarterly 31 (1‐6):89-95.
Continued fractions of primitive recursive real numbers.Ivan Georgiev - 2015 - Mathematical Logic Quarterly 61 (4-5):288-306.
The Complete Axiomatisation of any Many‐Valued Propositional Logic.John Williamson - 1976 - Mathematical Logic Quarterly 22 (1):299-306.
Constructive study of topological problems for irraditional real numbers.M. Khalouani, S. Labhalla & H. Lombardi - 1999 - Mathematical Logic Quarterly 45 (2):257-288.
Non-constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.
A Note on Real Subsets of A Recursively Saturated Model.Athanassios Tzouvaras - 1991 - Mathematical Logic Quarterly 37 (13-16):207-216.

Analytics

Added to PP
2013-12-01

Downloads
1 (#1,945,123)

6 months
1 (#1,887,784)

Historical graph of downloads

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

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references