On homogeneity and definability in the first-order theory of the Turing degrees (Q3671144): Difference between revisions

@@ 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/2273376
@@ Property / full work available at URL: https://doi.org/10.2307/2273376 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1981509588
@@ Property / OpenAlex ID: W1981509588 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed points of jump preserving automorphisms of degrees
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+The homogeneity conjecture
@@ Property / cites work: The homogeneity conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility orderings: Theories, definability and automorphisms
+Normal rank
@@ Property / cites work @@
+A degree-theoretic definition of the ramified analytical hierarchy
+Normal rank