Theories of arithmetics in finite models (Q3370752): Difference between revisions

@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On Pascal triangles modulo a prime power
@@ Property / cites work: On Pascal triangles modulo a prime power / rank @@
+Normal rank
@@ Property / cites work @@
+On uniformity within \(NC^ 1\)
@@ Property / cites work: On uniformity within \(NC^ 1\) / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Methods in Number Theory
@@ Property / cites work: Elementary Methods in Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic of divisibility in finite models
@@ Property / cites work: Arithmetic of divisibility in finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765574
@@ Property / cites work: Q2765574 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical definability over finite structures
@@ Property / cites work: Arithmetical definability over finite structures / rank @@
+Normal rank