Space of valuations
DOI10.1016/J.APAL.2008.09.003zbMATH Open1222.03072OpenAlexW2074787482MaRDI QIDQ1006605FDOQ1006605
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
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
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)