The Ascending Tree Condition: Constructive Algebra Without Countable Choice

DOI10.1081/AGB-120018518MaRDI QIDQ4804864zbMATH OpenFDO

Authors Fred Richman

Publication date 28 April 2003

Published in Communications in Algebra (Search for Journal in Brave)

Mathematics Subject Classification ID

Noetherian rings and modules (associative rings and algebras) (16P40) Commutative Noetherian rings and modules (13E05) Axiom of choice and related propositions (03E25) Applications of logic in associative algebras (16B70)

Recommendations

• scientific article; zbMATH DE number 1795226
• The fundamental theorem of algebra: a constructive development without choice.
• Do Noetherian modules have Noetherian basis functions?
• scientific article; zbMATH DE number 4008530
• scientific article; zbMATH DE number 4183415

Cites work

• A course in constructive algebra
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• The elementary divisor theorem for certain rings without chain condition

Cited in

(6)

• A constructive picture of Noetherian conditions and well quasi-orders
• Constructing Gröbner bases for Noetherian rings
• Noetherian orders
• Do Noetherian modules have Noetherian basis functions?
• Variations on Noetherianness
• \(\clubsuit\) does not imply the existence of a Suslin tree

This page was built for publication: The Ascending Tree Condition: Constructive Algebra Without Countable Choice

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