The Borel hierarchy is infinite in the class of regular sets of trees (Q1210306): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the monadic second-order theory of                            successor
+Normal rank
@@ Property / cites work @@
+Some examples of Borel sets
@@ Property / cites work: Some examples of Borel sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541832
@@ Property / cites work: Q5541832 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological characterizations of infinite tree languages
+Normal rank
@@ Property / cites work @@
+Q3950548
@@ Property / cites work: Q3950548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787992
@@ Property / cites work: Q3787992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722055
@@ Property / cites work: Q4722055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726235
@@ Property / cites work: Q4726235 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5616162
@@ Property / cites work: Q5616162 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(93)90030-w
+Normal rank
@@ Property / OpenAlex ID @@
+W1984317147
@@ Property / OpenAlex ID: W1984317147 / rank @@
+Normal rank