The isomorphism relation between tree-automatic structures (Q707994): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3103414753
@@ Property / OpenAlex ID: W3103414753 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0822
@@ Property / arXiv ID: 1007.0822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4910735
@@ Property / cites work: Q4910735 / 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 @@
+Automaticity of ordinals and of homogeneous graphs
+Normal rank
@@ Property / cites work @@
+Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
+Normal rank
@@ Property / cites work @@
+Q3312199
@@ Property / cites work: Q3312199 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694306
@@ Property / cites work: Q4694306 / rank @@
+Normal rank
@@ Property / cites work @@
+On Certain Boolean Algebras P(ω)/I
@@ Property / cites work: On Certain Boolean Algebras P(ω)/I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / 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 @@
+First-order and counting theories of<i>ω</i>-automatic structures
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+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 @@
+Automata Presenting Structures: A Survey of the Finite String Case
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+Partition Problems in Topology
@@ Property / cites work: Partition Problems in Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3842813
@@ Property / cites work: Q3842813 / rank @@
+Normal rank