Quantifier elimination in linear difference equations over Witt vectors (Q935343): Difference between revisions

@@ 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 @@
+Q4848757
@@ Property / cites work: Q4848757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3331307
@@ Property / cites work: Q3331307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039792
@@ Property / cites work: Q4039792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440912
@@ Property / cites work: Q4440912 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3936723
@@ Property / cites work: Q3936723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708785
@@ Property / cites work: Q3708785 / rank @@
+Normal rank