Quantifier elimination in valued Ore modules (Q4931104): Difference between revisions

@@ Property / cites work @@
+Q4321755
@@ Property / cites work: Q4321755 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory of the Frobenius on the Witt vectors
@@ Property / cites work: Model theory of the Frobenius on the Witt vectors / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary theory of finite fields
@@ Property / cites work: The elementary theory of finite fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693118
@@ Property / cites work: Q4693118 / rank @@
+Normal rank
@@ Property / cites work @@
+On von Neumann regular rings with an automorphism
@@ Property / cites work: On von Neumann regular rings with an automorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized \(t\)-modules
@@ Property / cites work: Generalized \(t\)-modules / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of modules of separably closed fields. II.
+Normal rank