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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+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
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9939-2014-11878-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2163449161
@@ Property / OpenAlex ID: W2163449161 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5401521