2 papers
math.AC2025
Théorème de de Smit et Lenstra, démonstration élémentaire
Henri Lombardi, Claude Quitté
We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that "completely secant" implies "1-secant"
math.LO2024
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…