Avoiding uniformity in the \(\Delta_2^0\) enumeration degrees (Q2453064): 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.1016/j.apal.2014.04.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2047884664
@@ Property / OpenAlex ID: W2047884664 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q2906563
@@ Property / cites work: Q2906563 / rank @@
+Normal rank
@@ Property / cites work @@
+Properly Σ2 Enumeration Degrees
@@ Property / cites work: Properly Σ2 Enumeration Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+On minimal pairs of enumeration degrees
@@ Property / cites work: On minimal pairs of enumeration degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3487329
@@ Property / cites work: Q3487329 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417312
@@ Property / cites work: Q4417312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619076
@@ Property / cites work: Q5619076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619077
@@ Property / cites work: Q5619077 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility and Completeness for Sets of Integers
+Normal rank
@@ Property / cites work @@
+Limit lemmas and jump inversion in the enumeration degrees
+Normal rank
@@ Property / cites work @@
+Goodness in the enumeration and singleton degrees
@@ Property / cites work: Goodness in the enumeration and singleton degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Semirecursive Sets and Positive Reducibility
@@ Property / cites work: Semirecursive Sets and Positive Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees in Which the Recursive Sets are Uniformly Recursive
+Normal rank
@@ Property / cites work @@
+Q2713991
@@ Property / cites work: Q2713991 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+The \(n\)-rea enumeration degrees are dense
@@ Property / cites work: The \(n\)-rea enumeration degrees are dense / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348132
@@ Property / cites work: Q4348132 / rank @@
+Normal rank
@@ Property / cites work @@
+The limitations of cupping in the local structure of the enumeration degrees
+Normal rank
@@ Property / cites work @@
+Q3567853
@@ Property / cites work: Q3567853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5602103
@@ Property / cites work: Q5602103 / rank @@
+Normal rank