Valuations and Dedekind's Prague theorem

DOI10.1016/S0022-4049(99)00095-XzbMATH Open0983.11061OpenAlexW2056216010MaRDI QIDQ1840477FDOQ1840477

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

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

zbMATH Keywords

entailment relationsDedekind's Prague theorem

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Abstract Riemann surfaces of integral domains and spectral spaces
• The genesis of ideal theory
• Polynomials and radical ideals
• Title not available (Why is that?)
• Dimension of Boolean valued lattices and rings
• Title not available (Why is that?)

Cited In (22)

• A syntactical proof of the Marriage Lemma.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On seminormality
• A universal Krull-Lindenbaum theorem
• Extension by conservation. Sikorski's theorem
• A universal algorithm for Krull's theorem
• Hidden constructions in abstract algebra. I: Integral dependance.
• The basic Zariski topology
• Space of valuations
• Ordering groups constructively
• Seminormality and polynomial rings
• Dynamical method in algebra: Effective Nullstellensätze
• A general Glivenko-Gödel theorem for nuclei
• An algorithm for the Traverso-Swan theorem on seminormal rings
• 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
• Valuative dimension, constructive points of view
• Lorenzen and constructive mathematics
• 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)