On computably enumerable structures (Q2263114): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Initial segments of recursive linear orders
@@ Property / cites work: Initial segments of recursive linear orders / rank @@
+Normal rank
@@ Property / cites work @@
+Rekursive Algebren mit Kettenbedingungen
@@ Property / cites work: Rekursive Algebren mit Kettenbedingungen / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation provable equivalence and on partitions in effectively inseparable sets
+Normal rank
@@ Property / cites work @@
+Classifying positive equivalence relations
@@ Property / cites work: Classifying positive equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite time decidable equivalence relation theory
+Normal rank
@@ Property / cites work @@
+Positive equivalences
@@ Property / cites work: Positive equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+On Σ<sup>1</sup>                         <sub>1</sub>  equivalence relations over the natural numbers
+Normal rank
@@ Property / cites work @@
+Isomorphism relations on computable structures
@@ Property / cites work: Isomorphism relations on computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+The effective theory of Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+Computably enumerable equivalence relations
@@ Property / cites work: Computably enumerable equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibilities among equivalence relations induced by recursively enumerable structures
+Normal rank
@@ Property / cites work @@
+Graphs realised by r.e. equivalence relations
@@ Property / cites work: Graphs realised by r.e. equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Semirecursive Sets and Positive Reducibility
@@ Property / cites work: Semirecursive Sets and Positive Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789548
@@ Property / cites work: Q3789548 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
+Normal rank
@@ Property / cites work @@
+Finitely presented expansions of groups, semigroups, and algebras
+Normal rank
@@ Property / cites work @@
+Computable isomorphisms, degree spectra of relations, and Scott families
+Normal rank
@@ Property / cites work @@
+A Note on Positive Equivalence Relations
@@ Property / cites work: A Note on Positive Equivalence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on subshifts
@@ Property / cites work: Two notes on subshifts / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s1995080214040180
+Normal rank
@@ Property / OpenAlex ID @@
+W2009499327
@@ Property / OpenAlex ID: W2009499327 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2263114