Definable degrees and automorphisms of 𝒟 (Q3898485): Difference between revisions

@@ Property / author @@
-Leo Harrington
@@ Property / author: Leo Harrington / rank @@
-Normal rank
@@ Property / author @@
+Leo Harrington
@@ Property / author: Leo Harrington / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Basis Result for ∑ 0 3 Sets of Reals with an Application to Minimal Covers
+Normal rank
@@ Property / cites work @@
+Minimal Covers and Arithmetical Sets
@@ Property / cites work: Minimal Covers and Arithmetical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Q3916564
@@ Property / cites work: Q3916564 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility orderings: Theories, definability and automorphisms
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+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 @@
+The homogeneity conjecture
@@ Property / cites work: The homogeneity conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+On homogeneity and definability in the first-order theory of the Turing degrees
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0273-0979-1981-14871-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2061250706
@@ Property / OpenAlex ID: W2061250706 / rank @@
+Normal rank