Space of valuations

DOI10.1016/J.APAL.2008.09.003zbMATH Open1222.03072OpenAlexW2074787482MaRDI QIDQ1006605FDOQ1006605

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 mathematics[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Pr%EF%BF%BD%EF%BF%BDfer+domain&go=Go Pr��fer domain]formal topology

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) Schemes and morphisms (14A15) Valuations and their generalizations for commutative rings (13A18) Applications of logic to commutative algebra (13L05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A course in constructive algebra
• Valuations and Dedekind's Prague theorem
• A logical approach to abstract algebra
• Constructive topology and combinatorics
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Primality Proving with Elliptic Curves
• Inductively generated formal topologies.
• Essays in Constructive Mathematics
• A note on the dimension theory of rings
• Faisceaux algébriques cohérents
• Generating non-Noetherian modules constructively
• About Stone's notion of spectrum
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• 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 characterization of Prüfer domains in terms of polynomials
• The genesis of ideal theory
• An analysis of Ramsey's theorem
• Polynomials and radical ideals
• Mathematical ideas, ideals, and ideology
• Minimal invariant spaces in formal topology
• Geometric Hahn-Banach theorem

Cited In (22)

• Valuative dimension and monomial orders
• Revisiting Zariski main theorem from a constructive point of view
• A universal Krull-Lindenbaum theorem
• Un anneau de Prüfer
• A universal algorithm for Krull's theorem
• Fundamental results for pointfree convex geometry
• Continuous valuations
• The basic Zariski topology
• A formal proof of the projective Eisenbud-Evans-Storch theorem
• Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
• A general Glivenko-Gödel theorem for nuclei
• Spectral schemes as ringed lattices
• Point-Free Spectra of Linear Spreads
• Valuative Lattices and Spectra
• Some further results on pointfree convex geometry
• Syntax for Semantics: Krull’s Maximal Ideal Theorem
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Valuative dimension, constructive points of view
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• Title not available (Why is that?)
• Space Valuations Are Not Uniquely Determined by Their Centers
• Eliminating disjunctions by disjunction elimination

Recommendations

• Valuations on function spaces 👍 👎
• Valuations in the integral geometry spaces 👍 👎
• ON VALUATIONS OF VECTOR SPACES 👍 👎
• Structure in the space of value functions 👍 👎
• Space Valuations Are Not Uniquely Determined by Their Centers 👍 👎
• Affine Function-Valued Valuations 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Space of valuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006605)