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)

Full work available at URL https://doi.org/10.1081/AGB-120018518

Mathematics Subject Classification ID

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

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

(16)

• does not imply the existence of a Suslin tree
• Noetherian orders
• Do Noetherian modules have Noetherian basis functions?
• Variations on Noetherianness
• Constructing Gröbner bases for Noetherian rings
• A constructive picture of Noetherian conditions and well quasi-orders
• 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: 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)