The Ascending Tree Condition: Constructive Algebra Without Countable Choice (Q4804864): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary divisor theorem for certain rings without chain condition
+Normal rank
@@ Property / cites work @@
+Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4804864