Théories géométriques pour l'algèbre des nombres réels

Abstract : We try to obtain a dynamical theory describing the algebraic properties of the field of real numbers, as complete as possible, in constructive mathematics and without the axiom of dependent choice. This would be a first step towards a constructive version of O-minimal structures. In the present paper, we propose a theory which turns out to be very close from the classical theory of real closed local rings. We present the theory of real closed local rings in a constructive form, as a natural purely equational theory, using the virtual roots functions introduced in a previous work.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/hal-01426164
Contributor : Assia Mahboubi <>
Submitted on : Thursday, April 6, 2017 - 5:44:53 PM
Last modification on : Friday, July 6, 2018 - 3:18:04 PM
Long-term archiving on: Friday, July 7, 2017 - 3:30:58 PM

File

Reels-geom-court.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01426164, version 3

Citation

Henri Lombardi, Assia Mahboubi. Théories géométriques pour l'algèbre des nombres réels. 2017. ⟨hal-01426164v3⟩

Share

Metrics

Record views

659

Files downloads

493