Decidability and undecidability of theories with a predicate for the primes (Q3138021): Difference between revisions

@@ Property / cites work @@
+On the additive properties of numbers
@@ Property / cites work: On the additive properties of numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Definability in the monadic second-order theory of                            successor
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Relations between table-type degrees
@@ Property / cites work: Relations between table-type degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial approach to the theory of ω-automata
+Normal rank
@@ Property / cites work @@
+On the bounded monadic theory of well-ordered structures
+Normal rank
@@ Property / cites work @@
+The theory of successor with an extra predicate
@@ Property / cites work: The theory of successor with an extra predicate / rank @@
+Normal rank