Definability via Kalimullin pairs in the structure of the enumeration degrees (Q5247021): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449350
@@ Property / cites work: Q4449350 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial degrees and the density problem. Part 2: The enumeration degrees of the <i>Σ</i><sub>2</sub> sets are dense
+Normal rank
@@ Property / cites work @@
+Q3487329
@@ Property / cites work: Q3487329 / 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 @@
+Reducibility and Completeness for Sets of Integers
+Normal rank
@@ Property / cites work @@
+Cupping and definability in the local structure of the enumeration degrees
+Normal rank
@@ Property / cites work @@
+The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees
+Normal rank
@@ Property / cites work @@
+Interpreting true arithmetic in the local structure of the enumeration degrees
+Normal rank
@@ Property / cites work @@
+Properly  enumeration degrees and the high/low hierarchy
+Normal rank
@@ Property / cites work @@
+Weakly semirecursive sets
@@ Property / cites work: Weakly semirecursive sets / 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 @@
+DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
+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 @@
+Jumps of quasi-minimal enumeration degrees
@@ Property / cites work: Jumps of quasi-minimal enumeration degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Biinterpretability up to double jump in the degrees below $\mathbf {0}^{\prime }$
+Normal rank
@@ Property / cites work @@
+Degree Structures: Local and Global Investigations
+Normal rank
@@ Property / cites work @@
+Defining the Turing jump
@@ Property / cites work: Defining the Turing jump / rank @@
+Normal rank
@@ Property / cites work @@
+Q3597424
@@ Property / cites work: Q3597424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348132
@@ Property / cites work: Q4348132 / rank @@
+Normal rank
@@ Property / cites work @@
+A jump inversion theorem for the enumeration jump
@@ Property / cites work: A jump inversion theorem for the enumeration jump / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9947-2014-06157-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2013208488
@@ Property / OpenAlex ID: W2013208488 / rank @@
+Normal rank