A Note On The Axiomatisation Of Real Numbers

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

Abstract

Is it possible to give an abstract characterisation of constructive real numbers? A condition should be that all axioms are valid for Dedekind reals in any topos, or for constructive reals in Bishop mathematics. We present here a possible first-order axiomatisation of real numbers, which becomes complete if one adds the law of excluded middle. As an application of the forcing relation defined in [3, 2], we give a proof that the formula which specifies the maximum function is not provable in this theory.

Categories

Keywords

Reprint years

DOI

10.1002/malq.200710039

Other Versions

No versions found

Links

PhilArchive



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

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 note on the axiomatisation of real numbers.Thierry Coquand & 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.
Recursive Approximability of Real Numbers.Xizhong Zheng - 2002 - Mathematical Logic Quarterly 48 (S1):131-156.
A generalized cut characterization of the fullness axiom in CZF.Laura Crosilla, Erik Palmgren & Peter Schuster - 2013 - Logic Journal of the IGPL 21 (1):63-76.
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
A Constructive Look at Generalised Cauchy Reals.Peter M. Schuster - 2000 - Mathematical Logic Quarterly 46 (1):125-134.
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.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
An induction principle over real numbers.Assia Mahboubi - 2017 - Archive for Mathematical Logic 56 (1-2):43-49.
Some Remarks on Real Numbers Induced by First-Order Spectra.Sune Kristian Jakobsen & Jakob Grue Simonsen - 2016 - Notre Dame Journal of Formal Logic 57 (3):355-368.

Analytics

Added to PP
2013-12-01

Downloads
46 (#482,869)

6 months
3 (#1,475,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references