scientific article; zbMATH DE number 2247262
From MaRDI portal
Publication:5718574
zbMATH Open1161.54303MaRDI QIDQ5718574FDOQ5718574
Henri Lombardi, Thierry Coquand, Marie-Françoise Roy
Publication date: 16 January 2006
Title of this publication is not available (Why is that?)
Dimension theory in general topology (54F45) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Lattices and duality (06D50)
Cited In (20)
- Stably free modules over $\mathbf{R}[X]$ of rank $> \dim\mathbf{R}$ are free
- Krull dimension and monomial orders
- On the Krull dimension of noetherian rings
- Title not available (Why is that?)
- Space of valuations
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
- On stably free modules over Laurent polynomial rings
- Krull dimension in set theory
- A formal proof of the projective Eisenbud-Evans-Storch theorem
- Spectral schemes as ringed lattices
- A constructive theory of minimal zero-dimensional extensions
- A Characterization of Constructive Dimension
- Valuative Lattices and Spectra
- On the existence of unimodular elements and cancellation of projective modules over noetherian and non-noetherian rings
- Syntax for Semantics: Krull’s Maximal Ideal Theorem
- Seminormal rings (following Thierry Coquand)
- KRULL DIMENSION IN MODAL LOGIC
- A constructive notion of codimension
- Cut elimination for entailment relations
- The Hermite ring conjecture in dimension one
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5718574)
