The decision problem for recursively enumerable degrees (Q4106188): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+The impossibility of finding relative complements for recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Pairs of Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Q5670617
@@ Property / cites work: Q5670617 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability. (AM-55)
@@ Property / cites work: Degrees of Unsolvability. (AM-55) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586291
@@ Property / cites work: Q5586291 / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Sublattices of the Recursively Enumerable Degrees
@@ Property / cites work: Sublattices of the Recursively Enumerable Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal pair of recursively enumerable degrees
@@ Property / cites work: A minimal pair of recursively enumerable degrees / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4106188