Constructive Proof of Hilbert's Theorem on Ascending Chains

DOI10.2307/1996110MaRDI QIDQ5670707zbMATH OpenOpenAlexFDO

Authors A. Seidenberg

Publication date 1973

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1996110

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Polynomial rings and ideals; rings of integer-valued polynomials (13F20)

Cited in

(5)

• Notes on Gröbner bases
• Effective computation of the integral closure of a morphism
• Constructions in Algebra
• Tropical noetherity and Gröbner bases
• Algebraic and algorithmic methods for computing polynomial loop invariants

This page was built for publication: Constructive Proof of Hilbert's Theorem on Ascending Chains

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