36 citations · 106 across the 22 of their papers we have counts for
3 papers · 1 filter
Azumaya algebras and Barr Theorem
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivale…
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…
The syzygy theorem for Bézout rings
Maroua Gamanda, Henri Lombardi, Stefan Neuwirth +1
We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict Bézout rings…