Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant

Henri Lombardi, Assia Mahboubi

In this memoir, we seek to construct a dynamical theory as complete as possible to describe the algebraic properties of the field of real numbers in constructive mathematics withou…