collaborators

1 paper

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…