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

entailment relationsDedekind's Prague theorem

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

• 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?)
• Abstract Riemann surfaces of integral domains and spectral spaces
• Dimension of Boolean valued lattices and rings
• Polynomials and radical ideals
• The genesis of ideal theory

Cited in

(22)

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

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)