Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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 metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Assia Mahboubi Connect in order to contact the contributor
Submitted on : Thursday, April 6, 2017 - 5:44:53 PM
Last modification on : Monday, October 11, 2021 - 10:04:09 AM
Long-term archiving on: : Friday, July 7, 2017 - 3:30:58 PM


Files produced by the author(s)


  • HAL Id : hal-01426164, version 3


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



Record views


Files downloads