7 citations · 9 across the 6 of their papers we have counts for
9 papers
Some remarks about normal rings
Henri Lombardi, Thierry Coquand
We give a constructive proof that is normal when is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is base…
Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
Mari-Emi Alonso, Henri Lombardi
We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs a…
On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case
María Emilia Alonso García, Henri Lombardi, Stefan Neuwirth
Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R^h, the henselisation of R as local ring, a…
Regular entailment relations
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
Inspired by the work of Lorenzen on the theory of preordered groups in the forties and fifties, we define regular entailment relations and show a crucial theorem for this structure…
Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg
Henri Lombardi
The book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Clas…
Résolutions libres finies. Méthodes constructives
Thierry Coquand, Henri Lombardi, Claude Quitté +1
In this memoir, we give a completely constructive version of the celebrate book 'Finite Free Resolutions' by Northcott, and of some other results related to the depth à la Hochster…