Some new results in monadic second-order arithmetic (Q3195649): Difference between revisions

@@ 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 @@
+Q3842688
@@ Property / cites work: Q3842688 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable extensions of Skolem arithmetic
@@ Property / cites work: Undecidable extensions of Skolem arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Definability, decidability, complexity
@@ Property / cites work: Definability, decidability, complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Presburger arithmetic with unary predicates is <i>Π</i><sub>1</sub><sup>1</sup> complete
+Normal rank
@@ Property / cites work @@
+Q4272745
@@ Property / cites work: Q4272745 / rank @@
+Normal rank
@@ Property / cites work @@
+A list of arithmetical structures complete with respect to the first-order definability
+Normal rank
@@ Property / cites work @@
+The theory of integer multiplication with order restricted to primes is decidable
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Definability and decision problems in arithmetic
@@ Property / cites work: Definability and decision problems in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A note on definability in fragments of arithmetic with free unary predicates
+Normal rank