Definability in the Local Theory of the ω-Enumeration Degrees (Q3576056): Difference between revisions

@@ Property / cites work @@
+Exact Pair Theorem for the ω-Enumeration Degrees
@@ Property / cites work: Exact Pair Theorem for the ω-Enumeration Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
+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 @@
+Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets
+Normal rank
@@ Property / cites work @@
+The  -Enumeration Degrees
@@ Property / cites work: The -Enumeration Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+The jump operator on the \(\omega \)-enumeration degrees
+Normal rank
@@ Property / cites work @@
+Uniform regular enumerations
@@ Property / cites work: Uniform regular enumerations / rank @@
+Normal rank