Undecidability and initial segments of the (r.e.) tt-degrees (Q5202181): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2274468
@@ Property / full work available at URL: https://doi.org/10.2307/2274468 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2083442865
@@ Property / OpenAlex ID: W2083442865 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of unsolvability
@@ Property / cites work: Initial segments of the degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Recursion theory week. Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Lattice-theoretic decision problems in universal algebra
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+The computable enumerations of families of general recursive functions
+Normal rank
@@ Property / cites work @@
+Initial Segments of Many-One Degrees
@@ Property / cites work: Initial Segments of Many-One Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Initial segments of one-one degrees
@@ Property / cites work: Initial segments of one-one degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong reducibilities
@@ Property / cites work: Strong reducibilities / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility orderings: Theories, definability and automorphisms
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5202181