Geometric theories for real number algebra without sign test or dependent choice axiom

Henri Lombardi, Assia Mahboubi

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