Elimination of quantifiers for modules (Q1236527): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052109
@@ Property / cites work: Q4052109 / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary theory of abelian groups
@@ Property / cites work: The elementary theory of abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Model-completions and modules
@@ Property / cites work: Model-completions and modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600865
@@ Property / cites work: Q5600865 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary properties of Abelian groups
@@ Property / cites work: Elementary properties of Abelian groups / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1236527