Constructive Aspects of Noetherian Rings
From MaRDI portal
Publication:5682414
DOI10.2307/2040452zbMath0265.13011MaRDI QIDQ5682414
Publication date: 1974
Full work available at URL: https://doi.org/10.2307/2040452
13E05: Commutative Noetherian rings and modules
13L05: Applications of logic to commutative algebra
03F99: Proof theory and constructive mathematics
Related Items
Ideal membership in polynomial rings over the integers, A formal proof of the projective Eisenbud-Evans-Storch theorem, Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm, On constructing bases for ideals in polynomial rings over the integers, Computing a Gröbner basis of a polynomial ideal over a Euclidean domain, Gröbner bases and primary decomposition of polynomial ideals, Lifting canonical algorithms from a ring R to the ring R[x], Computable algebra and group embeddings, Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem, Rational series with coefficients in a commutative ring, Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen, Notes on Gröbner bases, A solution to Kronecker's problem, The decomposition theorem for ideals in polynomial rings over a domain, The complexity of the word problems for commutative semigroups and polynomial ideals, Conjugacy problem in metabelian groups, Effective computation of the integral closure of a morphism, Ideals in computable rings, Strongly Noetherian rings and constructive ideal theory, Unnamed Item, Basic sub groups from a constructive viewpoint, What is Noetherian?
