Definability in the Recursively Enumerable Degrees (Q3128481): Difference between revisions

@@ Property / cites work @@
+On the degrees less than 0'
@@ Property / cites work: On the degrees less than 0' / rank @@
+Normal rank
@@ Property / cites work @@
+The recursively enumerable degrees are dense
@@ Property / cites work: The recursively enumerable degrees are dense / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the recursively enumerable degrees
+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 @@
+Lattice nonembeddings and initial segments of the recursively enumerable degrees
+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
@@ Property / cites work @@
+Undecidability and 1-types in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Interpolation and embedding in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Not every finite lattice is embeddable in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+The impossibility of finding relative complements for recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Working below a \(low_ 2\) recursively enumerable degree
+Normal rank
@@ Property / cites work @@
+On homogeneity and definability in the first-order theory of the Turing degrees
+Normal rank
@@ Property / cites work @@
+The homogeneity conjecture
@@ Property / cites work: The homogeneity conjecture / rank @@
+Normal rank