scientific article; zbMATH DE number 2247262
From MaRDI portal
Publication:5718574
zbMath1161.54303MaRDI QIDQ5718574
Henri Lombardi, Thierry Coquand, Marie-Françoise Roy
Publication date: 16 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lattices and duality (06D50) Dimension theory in general topology (54F45) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15)
Related Items (17)
Stably free modules over $\mathbf{R}[X$ of rank $> \dim\mathbf{R}$ are free] ⋮ Spectral schemes as ringed lattices ⋮ Krull dimension and monomial orders ⋮ On the existence of unimodular elements and cancellation of projective modules over noetherian and non-noetherian rings ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ Valuative Lattices and Spectra ⋮ A constructive theory of minimal zero-dimensional extensions ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ A constructive notion of codimension ⋮ A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem ⋮ The Hermite ring conjecture in dimension one ⋮ Seminormal rings (following Thierry Coquand) ⋮ On the Krull dimension of noetherian rings ⋮ Space of valuations ⋮ Cut elimination for entailment relations ⋮ On stably free modules over Laurent polynomial rings ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem
This page was built for publication:
