Space of valuations

DOI10.1016/j.apal.2008.09.003zbMath1222.03072OpenAlexW2074787482MaRDI QIDQ1006605

Thierry Coquand

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

zbMATH Keywords

constructive mathematicsPrüfer domainformal topology

Mathematics Subject Classification ID

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