Fragments of the theory of the enumeration degrees (Q2020402): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.aim.2021.107686
+Normal rank
@@ Property / OpenAlex ID @@
+W3138894201
@@ Property / OpenAlex ID: W3138894201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+The Π<sub>2</sub><sup>0</sup> enumeration degrees are not dense
+Normal rank
@@ Property / cites work @@
+Q3487329
@@ Property / cites work: Q3487329 / rank @@
+Normal rank
@@ Property / cites work @@
+Several results on upper semilattices and m-degrees
+Normal rank
@@ Property / cites work @@
+Reducibility and Completeness for Sets of Integers
+Normal rank
@@ Property / cites work @@
+The Π<sub>3</sub>-theory of the -enumeration degrees is undecidable
+Normal rank
@@ Property / cites work @@
+Empty intervals in the enumeration degrees
@@ Property / cites work: Empty intervals in the enumeration degrees / rank @@
+Normal rank
@@ Property / cites work @@
+The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
+Normal rank
@@ Property / cites work @@
+ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE ${\Sigma_2^0}$-SETS
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of unsolvability
@@ Property / cites work: Initial segments of the degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and Invariant Classes for Degree Structures
+Normal rank
@@ Property / cites work @@
+Reducibility orderings: Theories, definability and automorphisms
+Normal rank
@@ Property / cites work @@
+Undecidable fragments of elementary theories
@@ Property / cites work: Undecidable fragments of elementary theories / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Reducibilities I
@@ Property / cites work: Arithmetical Reducibilities I / 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 @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Extension of embeddings in the computably enumerable degrees
+Normal rank
@@ Property / cites work @@
+A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES
+Normal rank
@@ Property / cites work @@
+Definability in the enumeration degrees
@@ Property / cites work: Definability in the enumeration degrees / rank @@
+Normal rank