Finite state automata and monadic definability of singular cardinals (Q3503746): Difference between revisions

@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Decision methods in the theory of ordinals
@@ Property / cites work: Decision methods in the theory of ordinals / 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 @@
+DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS &lt; ω2
+Normal rank