Some problems in automata theory which depend on the models of set theory (Q3117545): Difference between revisions

@@ Property / arXiv ID @@
+.2864
@@ Property / arXiv ID: 1108.2864 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Ω-Computations and the Analytical Hierarchy
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Borel ranks and Wadge degrees of context free $\omega$-languages
+Normal rank
@@ Property / cites work @@
+On the Accepting Power of 2-Tape Büchi Automata
@@ Property / cites work: On the Accepting Power of 2-Tape Büchi Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Infinite Computations In Models of Set Theory
+Normal rank
@@ Property / cites work @@
+Highly Undecidable Problems For Infinite Computations
+Normal rank
@@ Property / cites work @@
+Relations rationnelles infinitaires
@@ Property / cites work: Relations rationnelles infinitaires / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of <i>ω</i><sub>2</sub>
@@ Property / cites work: The monadic theory of <i>ω</i><sub>2</sub> / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematical Import of Zermelo's Well-Ordering Theorem
+Normal rank
@@ Property / cites work @@
+The Theory of Countable Analytical Sets
@@ Property / cites work: The Theory of Countable Analytical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+First-order and counting theories of<i>ω</i>-automatic structures
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state automata and monadic definability of singular cardinals
+Normal rank
@@ Property / cites work @@
+Q4035259
@@ Property / cites work: Q4035259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030812
@@ Property / cites work: Q3030812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank