scientific article; zbMATH DE number 4008530

MaRDI QIDQ3758944zbMATHFDO

Authors Wim Ruitenburg

Publication date 1987

Full work available at URL http://www.numdam.org/item?id=CM_1987__62_1_47_0

zbMATH Keywords

Krull's intersection theoremArtin-Rees lemmafinitely generated idealconstructive ring theorycoherent commutative Noetherian rings

Mathematics Subject Classification ID

Commutative Noetherian rings and modules (13E05) Commutative rings and modules of finite generation or presentation; number of generators (13E15) Intuitionistic mathematics (03F55) Applications of logic to commutative algebra (13L05)

Recommendations

• On the Lasker-Noether Decomposition Theorem
• Strongly Noetherian rings and constructive ideal theory
• Lazy bases: a minimalist constructive theory of Noetherian rings
• Constructing Gröbner bases for Noetherian rings
• scientific article; zbMATH DE number 4183415

Cites work

• scientific article; zbMATH DE number 3445421 (Why is no real title available?)
• A course in constructive algebra
• Constructions in Algebra
• Constructive Aspects of Noetherian Rings
• On the Lasker-Noether Decomposition Theorem
• What is Noetherian?

Cited in

(5)

• A nilregular element property
• Lazy bases: a minimalist constructive theory of Noetherian rings
• The Ascending Tree Condition: Constructive Algebra Without Countable Choice
• Quotient finite dimensional modules with acc on subdirectly irreducible submodules are noetherian
• Do Noetherian modules have Noetherian basis functions?

This page was built for publication:

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