32 citations · 100 across the 24 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.LO2019
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…
math.AC2019★ 6 cited
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…
math.HO2019
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…