The arithmetic and Turing degrees are not elementarily equivalent (Q3765755): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Transfinite extensions of Friedberg's completeness criterion
+Normal rank
@@ Property / cites work @@
+On the First Order Theory of the Arithmetical Degrees
+Normal rank
@@ Property / cites work @@
+On homogeneity and definability in the first-order theory of the Turing degrees
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of unsolvability Part II: minimal degrees
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3765755