Isomorphism relations on computable structures (Q5388722): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Effective categoricity of equivalence structures
@@ Property / cites work: Effective categoricity of equivalence structures / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Classes of Finite Structures
@@ Property / cites work: Comparing Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation
+Normal rank
@@ Property / cites work @@
+The computable embedding problem
@@ Property / cites work: The computable embedding problem / rank @@
+Normal rank
@@ Property / cites work @@
+$\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures
@@ Property / cites work: $\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for torsion-free abelian groups is analytic complete
+Normal rank
@@ Property / cites work @@
+Equivalence Relations on Classes of Computable Structures
+Normal rank
@@ Property / cites work @@
+The effective theory of Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+Classes of Ulm type and coding rank-homogeneous trees in other structures
+Normal rank
@@ Property / cites work @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Analytic equivalence relations and bi-embeddability
+Normal rank
@@ Property / cites work @@
+Q3525843
@@ Property / cites work: Q3525843 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Pseudo-Well-Orderings
@@ Property / cites work: Recursive Pseudo-Well-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism relation on countable torsion free abelian groups
+Normal rank
@@ Property / cites work @@
+Q5829819
@@ Property / cites work: Q5829819 / rank @@
+Normal rank
@@ Property / cites work @@
+New Directions in Descriptive Set Theory
@@ Property / cites work: New Directions in Descriptive Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The classification of hypersmooth Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+Computable categoricity and the Ershov hierarchy
@@ Property / cites work: Computable categoricity and the Ershov hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Turing computable embeddings
@@ Property / cites work: Turing computable embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+Complete analytic equivalence relations
@@ Property / cites work: Complete analytic equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+On the Equimorphism Types of Linear Orderings
@@ Property / cites work: On the Equimorphism Types of Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Ulm's Theorem for Partially Ordered Structures Related to Simply Presented Abelian p-Groups
+Normal rank