A hierarchy of tree-automatic structures (Q5388735): Difference between revisions

@@ Property / OpenAlex ID @@
+W2962743408
@@ Property / OpenAlex ID: W2962743408 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1504
@@ Property / arXiv ID: 1111.1504 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and ordinals
@@ Property / cites work: Finite automata and ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Logic over words on denumerable ordinals
@@ Property / cites work: Logic over words on denumerable ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+The model theory of unitriangular groups
@@ Property / cites work: The model theory of unitriangular groups / rank @@
+Normal rank
@@ Property / cites work @@
+Finite presentations of infinite structures: Automata and interpretations
+Normal rank
@@ Property / cites work @@
+The monadic second order theory of all countable ordinals
+Normal rank
@@ Property / cites work @@
+Computer science and the fine structure of Borel sets
+Normal rank
@@ Property / cites work @@
+Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
+Normal rank
@@ Property / cites work @@
+Luzin gaps
@@ Property / cites work: Luzin gaps / rank @@
+Normal rank
@@ Property / cites work @@
+All automorphisms of the Calkin algebra are inner
@@ Property / cites work: All automorphisms of the Calkin algebra are inner / rank @@
+Normal rank
@@ Property / cites work @@
+Locally finite languages
@@ Property / cites work: Locally finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism relation between tree-automatic structures
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q3312199
@@ Property / cites work: Q3312199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modification of Shelah's Oracle-C.C. with Applications
+Normal rank
@@ Property / cites work @@
+New Radon–Nikodym ideals
@@ Property / cites work: New Radon–Nikodym ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396632
@@ Property / cites work: Q3396632 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Structures: Richness and Limitations
@@ Property / cites work: Automatic Structures: Richness and Limitations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449538
@@ Property / cites work: Q4449538 / rank @@
+Normal rank
@@ Property / cites work @@
+Is Ramsey's theorem omega-automatic?
@@ Property / cites work: Is Ramsey's theorem omega-automatic? / rank @@
+Normal rank
@@ Property / cites work @@
+The Isomorphism Problem for ω-Automatic Trees
@@ Property / cites work: The Isomorphism Problem for ω-Automatic Trees / rank @@
+Normal rank
@@ Property / cites work @@
+First-order and counting theories of<i>ω</i>-automatic structures
+Normal rank
@@ Property / cites work @@
+Describing Groups
@@ Property / cites work: Describing Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+On Countable Indecomposable Order Types
@@ Property / cites work: On Countable Indecomposable Order Types / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Presenting Structures: A Survey of the Finite String Case
+Normal rank
@@ Property / cites work @@
+Compacts de fonctions mesurables et filtres non mesurables
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Partition Problems in Topology
@@ Property / cites work: Partition Problems in Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216154
@@ Property / cites work: Q3216154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691083
@@ Property / cites work: Q3691083 / rank @@
+Normal rank