Do Noetherian modules have Noetherian basis functions?

MaRDI QIDQ3433654zbMATH OpenFDO

Authors Júlia Zappe, Peter Schuster

Publication date 30 April 2007

zbMATH Keywords

commutative ringsconstructive algebracountable choiceHilbert basis theoremNoetherian modules

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Other constructive mathematics (03F65) Commutative Noetherian rings and modules (13E05) Commutative rings and modules of finite generation or presentation; number of generators (13E15)

Recommendations

• The Ascending Tree Condition: Constructive Algebra Without Countable Choice
• Constructing Gröbner bases for Noetherian rings
• scientific article; zbMATH DE number 4008530
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• scientific article; zbMATH DE number 4183415

Cited in

(12)

• Spectral schemes as ringed lattices
• The Ascending Tree Condition: Constructive Algebra Without Countable Choice
• An iterative constructive Hilbert basis theorem
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

This page was built for publication: Do Noetherian modules have Noetherian basis functions?

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