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

@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1278682213
+Normal rank
@@ Property / OpenAlex ID @@
+W2148956539
@@ Property / OpenAlex ID: W2148956539 / rank @@
+Normal rank
@@ 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