2 papers
math.AC2017
Constructions cachées en algèbre abstraite. Dimension de Krull, Going Up, Going Down (revised version, 2008)
Thierry Coquand, Henri Lombardi
Nous rappelons des versions constructives de la théorie de la dimension de Krull dans les anneaux commutatifs et dans les treillis distributifs, dont les bases ont été posées par J…
math.AC2017
Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
Thierry Coquand, Henri Lombardi, Claude Quitté
We study a notion of dimension which was introduced by R. Heitmann in his remarkable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these…