A splitting theorem for $n-REA$ degrees (Q2750871): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The jump is definable in the structure of the degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+On a Conjecture of Kleene and Post
@@ Property / cites work: On a Conjecture of Kleene and Post / rank @@
+Normal rank
@@ Property / cites work @@
+Complementing below recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability: structure and theory
@@ Property / cites work: Degrees of unsolvability: structure and theory / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
+Normal rank
@@ Property / cites work @@
+A recursively enumerable degree which will not split over all lesser ones
+Normal rank
@@ Property / cites work @@
+On the degrees less than 0'
@@ Property / cites work: On the degrees less than 0' / rank @@
+Normal rank
@@ Property / cites work @@
+Defining the Turing jump
@@ Property / cites work: Defining the Turing jump / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2750871