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

@@ 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