The automorphism group of the enumeration degrees (Q2630830): Difference between revisions

@@ 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 @@
+Cupping and definability in the local structure of the enumeration degrees
+Normal rank
@@ Property / cites work @@
+Embedding distributive lattices in the  Formula enumeration degrees
+Normal rank
@@ Property / cites work @@
+Interpreting true arithmetic in the local structure of the enumeration degrees
+Normal rank
@@ Property / cites work @@
+Definability via Kalimullin pairs in the structure of the enumeration degrees
+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 @@
+Q2904376
@@ Property / cites work: Q2904376 / 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 @@
+On automorphisms of the degrees that preserve jumps
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559240
@@ Property / cites work: Q5559240 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining the Turing jump
@@ Property / cites work: Defining the Turing jump / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the enumeration degrees
@@ Property / cites work: Definability in the enumeration degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Sets of generator and automorphism bases for the enumeration degrees
+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 / cites work @@
+The jump operator on the \(\omega \)-enumeration degrees
+Normal rank