Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings

zbMath1096.13507arXiv1801.00097MaRDI QIDQ4736173

Henri Lombardi, Thierry Coquand

Publication date: 9 August 2004

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

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15)

Related Items

A universal Krull-Lindenbaum theorem ⋮ Priestley-type dualities for partially ordered structures ⋮ Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.) ⋮ Spectral schemes as ringed lattices ⋮ The Gröbner ring conjecture in the lexicographic order case ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Krull dimension and monomial orders ⋮ Eliminating disjunctions by disjunction elimination ⋮ A negative answer to a question about leading terms ideals of polynomial ideals ⋮ Radical theory of Scott-open filters ⋮ The Gröbner ring conjecture in one variable ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ Valuative Lattices and Spectra ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Valuative dimension, constructive points of view ⋮ On the leading terms ideals of polynomial ideals over a valuation ring ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ A constructive notion of codimension ⋮ On a theorem of Kronecker about algebraic varieties ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Point-Free Spectra of Linear Spreads ⋮ A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem ⋮ First steps going down on algebraic frames ⋮ Free equivalential algebras ⋮ Studying the Krull dimension of finite lattices under the prism of matrices ⋮ Seminormal rings (following Thierry Coquand) ⋮ Making the use of maximal ideals constructive ⋮ Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa ⋮ Unnamed Item ⋮ Dynamical Gröbner bases over Dedekind rings ⋮ Space of valuations ⋮ Projective modules over polynomial rings: a constructive approach ⋮ Cut elimination for entailment relations ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ Formal Zariski topology: Positivity and points ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ Unnamed Item