ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS (Q4799379): Difference between revisions

@@ Property / cites work @@
+Coding in the partial order of enumerable sets
@@ Property / cites work: Coding in the partial order of enumerable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets
+Normal rank
@@ Property / cites work @@
+The Δ₃⁰-automorphism method and noninvariant classes of degrees
+Normal rank
@@ Property / cites work @@
+Degrees of recursively enumerable sets which have no maximal supersets
+Normal rank
@@ Property / cites work @@
+d-simple sets, small sets, and degree classes
@@ Property / cites work: d-simple sets, small sets, and degree classes / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting properties and jump classes
@@ Property / cites work: Splitting properties and jump classes / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Recursion, metarecursion, and inclusion
@@ Property / cites work: Recursion, metarecursion, and inclusion / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of classes of RE sets
@@ Property / cites work: Degrees of classes of RE sets / rank @@
+Normal rank