Constructive Proof of Hilbert's Theorem on Ascending Chains
From MaRDI portal
Publication:5670707
DOI10.2307/1996110zbMath0256.13012OpenAlexW3140090644MaRDI QIDQ5670707
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
Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Proof theory and constructive mathematics (03F99)
Related Items
Effective computation of the integral closure of a morphism, Notes on Gröbner bases, Tropical noetherity and Gröbner bases, Constructions in Algebra
