Space of valuations
From MaRDI portal
Publication:1006605
DOI10.1016/j.apal.2008.09.003zbMath1222.03072OpenAlexW2074787482MaRDI QIDQ1006605
Publication date: 25 March 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.003
Valuations and their generalizations for commutative rings (13A18) Frames, locales (06D22) Applications of logic to commutative algebra (13L05) Other constructive mathematics (03F65) Schemes and morphisms (14A15)
Related Items
A universal Krull-Lindenbaum theorem ⋮ Spectral schemes as ringed lattices ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Valuative dimension and monomial orders ⋮ A universal algorithm for Krull's theorem ⋮ The basic Zariski topology ⋮ Revisiting Zariski main theorem from a constructive point of view ⋮ Eliminating disjunctions by disjunction elimination ⋮ Valuative Lattices and Spectra ⋮ Some further results on pointfree convex geometry ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Valuative dimension, constructive points of view ⋮ Fundamental results for pointfree convex geometry ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ Point-Free Spectra of Linear Spreads ⋮ Un anneau de Prüfer ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generating non-Noetherian modules constructively
- Faisceaux algébriques cohérents
- Polynomials and radical ideals
- The genesis of ideal theory
- Mathematical ideas, ideals, and ideology
- A course in constructive algebra
- A characterization of Prüfer domains in terms of polynomials
- An analysis of Ramsey's theorem
- Inductively generated formal topologies.
- About Stone's notion of spectrum
- Valuations and Dedekind's Prague theorem
- 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.)
- A note on the dimension theory of rings
- Geometric Hahn-Banach theorem
- A logical approach to abstract algebra
- Primality Proving with Elliptic Curves
- Minimal invariant spaces in formal topology
- Constructive topology and combinatorics
- Essays in Constructive Mathematics
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems