The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable (Q1202930): Difference between revisions

@@ Property / author @@
+Roger Villemaire
@@ Property / author: Roger Villemaire / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Q3312199
@@ Property / cites work: Q3312199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722056
@@ Property / cites work: Q4722056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385527
@@ Property / cites work: Q4385527 / rank @@
+Normal rank
@@ Property / cites work @@
+ON CERTAIN EXTENSIONS OF THE ARITHMETIC OF ADDITION OF NATURAL NUMBERS
+Normal rank
@@ Property / cites work @@
+A note on undecidable extensions of monadic second order successor arithmetic
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992263
@@ Property / cites work: Q3992263 / rank @@
+Normal rank
@@ Property / cites work @@
+Joining k- and l-recognizable sets of natural numbers
+Normal rank