36 citations · 143 across the 40 of their papers we have counts for
Showing 2017 · math.ACShow all
2 papers · 2 filters
math.AC2017★ 7 cited
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ñ…
math.AC2017★ 1 cited
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…