Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
From MaRDI portal
Publication:3620479
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
13E05: Commutative Noetherian rings and modules
13A15: Ideals and multiplicative ideal theory in commutative rings
03F65: Other constructive mathematics
13C15: Dimension theory, depth, related commutative rings (catenary, etc.)
Related Items
The Jacobson radical for an inconsistency predicate, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, Spectral Spaces Versus Distributive Lattices: A Dictionary, On the Krull dimension of noetherian rings, Algebraic and topological results on lifting properties in residuated lattices, The computational significance of Hausdorff's maximal chain principle, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), More on a curious nucleus, Spectral schemes as ringed lattices, Seminormal rings (following Thierry Coquand), Radical theory of Scott-open filters