Valuations and Dedekind's Prague theorem

DOI10.1016/S0022-4049(99)00095-XzbMath0983.11061OpenAlexW2056216010MaRDI QIDQ1840477

Henrik Persson, Thierry Coquand

Publication date: 10 April 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(99)00095-x

zbMATH Keywords

entailment relationsDedekind's Prague theorem

Mathematics Subject Classification ID

Polynomials in number theory (11C08) Algebraic numbers; rings of algebraic integers (11R04)

Related Items

A universal Krull-Lindenbaum theorem, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, A universal algorithm for Krull's theorem, The basic Zariski topology, Eliminating disjunctions by disjunction elimination, Valuative Lattices and Spectra, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Valuative dimension, constructive points of view, An algorithm for the Traverso-Swan theorem on seminormal rings, On seminormality, Unnamed Item, Dynamical method in algebra: Effective Nullstellensätze, Hidden constructions in abstract algebra. I: Integral dependance., Seminormality and polynomial rings, Space of valuations, Ordering groups constructively, Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert), A syntactical proof of the Marriage Lemma., Lorenzen and Constructive Mathematics

Cites Work

• Dimension of Boolean valued lattices and rings
• Abstract Riemann surfaces of integral domains and spectral spaces
• Polynomials and radical ideals
• The genesis of ideal theory
• Unnamed Item
• Unnamed Item
• Unnamed Item