Equivalence Relations on Classes of Computable Structures (Q3576052): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for classes of computable fields
+Normal rank
@@ Property / cites work @@
+Comparing Classes of Finite Structures
@@ Property / cites work: Comparing Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for torsion-free abelian groups is analytic complete
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic equivalence relations and bi-embeddability
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+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 @@
+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 @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank