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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1208359052
+Normal rank
@@ Property / OpenAlex ID @@
+W2122112120
@@ Property / OpenAlex ID: W2122112120 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3503746