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

@@ 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