The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility (Q4032885): Difference between revisions

@@ Property / author @@
+Manuel Lerman
@@ Property / author: Manuel Lerman / rank @@
+Normal rank
@@ 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/2275452
@@ Property / full work available at URL: https://doi.org/10.2307/2275452 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1970784900
@@ Property / OpenAlex ID: W1970784900 / 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 @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+A non-inversion theorem for the jump operator
@@ Property / cites work: A non-inversion theorem for the jump operator / rank @@
+Normal rank
@@ Property / cites work @@
+On homogeneity and definability in the first-order theory of the Turing degrees
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+A limit on relative genericity in the recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+The undecidability of the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Lattice embeddings into the recursively enumerable degrees. II
+Normal rank