Dimension de Heitmann des treillis distributifs et des anneaux commutatifs

zbMath1158.13308arXiv1712.01958MaRDI QIDQ3620479

Henri Lombardi, Claude Quitté, Thierry Coquand

Publication date: 14 April 2009

Full work available at URL: https://arxiv.org/abs/1712.01958

Mathematics Subject Classification ID

Commutative Noetherian rings and modules (13E05) Ideals and multiplicative ideal theory in commutative rings (13A15) Other constructive mathematics (03F65) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15)

Related Items (12)

Spectral schemes as ringed lattices ⋮ The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Algebraic and topological results on lifting properties in residuated lattices ⋮ Radical theory of Scott-open filters ⋮ Valuative Lattices and Spectra ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Seminormal rings (following Thierry Coquand) ⋮ On the Krull dimension of noetherian rings ⋮ More on a curious nucleus ⋮ The computational significance of Hausdorff's maximal chain principle

This page was built for publication: Dimension de Heitmann des treillis distributifs et des anneaux commutatifs