Extensions of embeddings below computably enumerable degrees (Q2838113): Difference between revisions

@@ Property / author @@
-Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
-Normal rank
@@ Property / author @@
+Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The strong anticupping property for recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+\(\Delta\)\( ^ 0_ 2\) degrees and transfer theorems
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability: structure and theory
@@ Property / cites work: Degrees of unsolvability: structure and theory / 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 @@
+Q3905267
@@ Property / cites work: Q3905267 / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo Jump Operators. I: The R. E. Case
@@ Property / cites work: Pseudo Jump Operators. I: The R. E. Case / rank @@
+Normal rank
@@ Property / cites work @@
+On the <i>Σ</i><sub>2</sub>-theory of the upper semilattice of Turing degrees
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+The minimal complementation property above 0′
@@ Property / cites work: The minimal complementation property above 0′ / rank @@
+Normal rank
@@ Property / cites work @@
+Countable initial segments of the degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+The weak truth table degrees of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Decidability and Invariant Classes for Degree Structures
+Normal rank
@@ Property / cites work @@
+The ∀∃-theory of ℛ(≤,∨,∧) is undecidable
+Normal rank
@@ Property / cites work @@
+Q3656430
@@ Property / cites work: Q3656430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3232283
@@ Property / cites work: Q3232283 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees joining to <b>0</b>′
@@ Property / cites work: Degrees joining to <b>0</b>′ / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal degree less than 0’
@@ Property / cites work: A minimal degree less than 0’ / rank @@
+Normal rank
@@ Property / cites work @@
+On the degrees less than 0'
@@ Property / cites work: On the degrees less than 0' / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of the Degrees below <b>0</b> ′
@@ Property / cites work: The Theory of the Degrees below <b>0</b> ′ / rank @@
+Normal rank
@@ Property / cites work @@
+Degree Structures: Local and Global Investigations
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Complementation in the Turing degrees
@@ Property / cites work: Complementation in the Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of embeddings in the computably enumerable degrees
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9947-2012-05660-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1976891796
@@ Property / OpenAlex ID: W1976891796 / rank @@
+Normal rank