Turing computable embeddings of equivalences other than isomorphism (Q5401521): Difference between revisions

@@ Property / cites work @@
+Comparing Classes of Finite Structures
@@ Property / cites work: Comparing Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+The relation of recursive isomorphism for countable structures
+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 @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Borel Equivalence Relations
@@ Property / cites work: Borel Equivalence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3529420
@@ Property / cites work: Q3529420 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing computable embeddings
@@ Property / cites work: Turing computable embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank