The Ascending Tree Condition: Constructive Algebra Without Countable Choice
From MaRDI portal
Publication:4804864
DOI10.1081/AGB-120018518zbMath1099.13511MaRDI QIDQ4804864
Publication date: 28 April 2003
Published in: Communications in Algebra (Search for Journal in Brave)
Commutative Noetherian rings and modules (13E05) Noetherian rings and modules (associative rings and algebras) (16P40) Axiom of choice and related propositions (03E25) Applications of logic in associative algebras (16B70)
Related Items
A constructive picture of Noetherian conditions and well quasi-orders ⋮ Constructing Gröbner bases for Noetherian rings ⋮ Noetherian orders
Cites Work