Polishness of some topologies related to word or tree automata (Q5376660): Difference between revisions

@@ Property / cites work @@
+Q3086917
@@ Property / cites work: Q3086917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Polishness of some topologies related to word or tree automata
+Normal rank
@@ Property / cites work @@
+A Characterisation of Pi^0_2 Regular Tree Languages
+Normal rank
@@ Property / cites work @@
+Q4941148
@@ Property / cites work: Q4941148 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982345
@@ Property / cites work: Q4982345 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel ranks and Wadge degrees of context free $\omega$-languages
+Normal rank
@@ Property / cites work @@
+The Complexity of Infinite Computations In Models of Set Theory
+Normal rank
@@ Property / cites work @@
+Ambiguity of {\omega}-Languages of Turing Machines
+Normal rank
@@ Property / cites work @@
+Classical and effective descriptive complexities of \(\omega \)-powers
+Normal rank
@@ Property / cites work @@
+Decision problems for Turing machines
@@ Property / cites work: Decision problems for Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and ambiguity in \(\omega\)-context free languages
+Normal rank
@@ Property / cites work @@
+Q3525843
@@ Property / cites work: Q3525843 / rank @@
+Normal rank
@@ Property / cites work @@
+A Glimm-Effros Dichotomy for Borel Equivalence Relations
+Normal rank
@@ Property / cites work @@
+Shift-invariant topologies for the Cantor space \(X^{\omega}\)
+Normal rank
@@ Property / cites work @@
+Subword Metrics for Infinite Words
@@ Property / cites work: Subword Metrics for Infinite Words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel chromatic numbers
@@ Property / cites work: Borel chromatic numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041182
@@ Property / cites work: Q3041182 / rank @@
+Normal rank
@@ Property / cites work @@
+The graph-theoretic approach to descriptive set theory
+Normal rank
@@ Property / cites work @@
+Monadic Second Order Logic with Measure and Category Quantifiers
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+The Wadge Hierarchy of Deterministic Tree Languages
+Normal rank
@@ Property / cites work @@
+A gap property of deterministic tree languages.
@@ Property / cites work: A gap property of deterministic tree languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Topologies Refining the Cantor Topology on X ω
@@ Property / cites work: Topologies Refining the Cantor Topology on X ω / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge Degrees of<i>ω</i>-Languages of Deterministic Turing Machines
+Normal rank
@@ Property / cites work @@
+Q4418640
@@ Property / cites work: Q4418640 / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge reducibility and infinite computations
@@ Property / cites work: Wadge reducibility and infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Games with winning conditions of high Borel complexity
+Normal rank
@@ Property / cites work @@
+Descriptive set theoretic methods in automata theory. Decidability and topological complexity
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of reading the whole infinite input tape
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank