The complexity of isomorphism for complete theories of linear orders with unary predicates (Q527333): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-017-0525-z
@@ Property / DOI: 10.1007/s00153-017-0525-z / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C15
@@ Property / Mathematics Subject Classification ID: 03C15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C64
@@ Property / Mathematics Subject Classification ID: 03C64 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E15
@@ Property / Mathematics Subject Classification ID: 03E15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6714185
@@ Property / zbMATH DE Number: 6714185 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Borel complexity
@@ Property / zbMATH Keywords: Borel complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear orders
@@ Property / zbMATH Keywords: linear orders / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+back-and-forth equivalence
@@ Property / zbMATH Keywords: back-and-forth equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Borel completeness
@@ Property / zbMATH Keywords: Borel completeness / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1898301872
@@ Property / OpenAlex ID: W1898301872 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03037
@@ Property / arXiv ID: 1504.03037 / rank @@
+Normal rank
@@ Property / cites work @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Q3525843
@@ Property / cites work: Q3525843 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel equivalence relations induced by actions of the symmetric group
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Borel completeness of some ℵ<sub>0</sub>-stable theories
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Borel complexity of isomorphism for theories with many types
+Normal rank
@@ Property / cites work @@
+Countably categorical coloured linear orders
@@ Property / cites work: Countably categorical coloured linear orders / rank @@
+Normal rank
@@ Property / cites work @@
+THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES
+Normal rank
@@ Property / cites work @@
+$ℵ_0$-categoricity of linear orderings
@@ Property / cites work: $ℵ_0$-categoricity of linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of linear order
@@ Property / cites work: Theories of linear order / rank @@
+Normal rank
@@ Property / cites work @@
+Q3078324
@@ Property / cites work: Q3078324 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-017-0525-Z
@@ Property / DOI: 10.1007/S00153-017-0525-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:527333