The $\Delta ^0_2$ Turing degrees: Automorphisms and Definability (Q4596355): 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.1090/tran/7187
@@ Property / full work available at URL: https://doi.org/10.1090/tran/7187 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2750696211
@@ Property / OpenAlex ID: W2750696211 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Recursively Enumerable Degrees
+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 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 @@
+Biinterpretability up to double jump in the degrees below $\mathbf {0}^{\prime }$
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+The enumeration degrees: Local and global                     structural interactions
+Normal rank
@@ Property / cites work @@
+Definability in the Turing degrees
@@ Property / cites work: Definability in the Turing degrees / rank @@
+Normal rank