36 citations · 55 across the 13 of their papers we have counts for
5 papers · 1 filter
Heitmann dimension of distributive lattices and commutative rings
Thierry Coquand, Henri Lombardi, Claude Quitté
This paper is the English translation of the first 4 sections of the article ``Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications Mathématique…
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…
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…
Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
Thierry Coquand, Henri Lombardi
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Españ…
Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down
Thierry Coquand, Henri Lombardi
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan…