Valuations and Dedekind's Prague theorem

DOI10.1016/S0022-4049(99)00095-XMaRDI QIDQ1840477zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Henrik Persson

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

Dedekind's Prague theorementailment relations

Mathematics Subject Classification ID

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

Recommendations

• A Dedekind criterion for arbitrary valuation rings
• scientific article; zbMATH DE number 2196568
• Polynomials determining Dedekind domains
• Prolongations of valuations to finite extensions
• A note on Dedekind criterion

Cites work

• Abstract Riemann surfaces of integral domains and spectral spaces
• Dimension of Boolean valued lattices and rings
• scientific article; zbMATH DE number 3871513 (Why is no real title available?)
• scientific article; zbMATH DE number 4071161 (Why is no real title available?)
• scientific article; zbMATH DE number 45839 (Why is no real title available?)
• Polynomials and radical ideals
• The genesis of ideal theory

Cited in

(24)

• Space of valuations
• Eliminating disjunctions by disjunction elimination
• A syntactical proof of the Marriage Lemma.
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• A universal algorithm for Krull's theorem
• A universal Krull-Lindenbaum theorem
• scientific article; zbMATH DE number 5896141 (Why is no real title available?)
• scientific article; zbMATH DE number 3979214 (Why is no real title available?)
• Extension by conservation. Sikorski's theorem
• Lorenzen and constructive mathematics
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Ordering groups constructively
• Eliminating disjunctions by disjunction elimination
• On seminormality
• Dynamical method in algebra: Effective Nullstellensätze
• Hidden constructions in abstract algebra. I: Integral dependance.
• Valuative Lattices and Spectra
• Valuative dimension, constructive points of view
• A general Glivenko-Gödel theorem for nuclei
• A constructive proof of the general Nullstellensatz for Jacobson rings
• Conservation as translation
• Seminormality and polynomial rings
• The basic Zariski topology
• An algorithm for the Traverso-Swan theorem on seminormal rings

This page was built for publication: Valuations and Dedekind's Prague theorem

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