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…