Sub-computabilities (Q3088295): Difference between revisions

@@ Property / cites work @@
+Elementary descent recursion and proof theory
@@ Property / cites work: Elementary descent recursion and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+A jump operator on honest subrecursive degrees
@@ Property / cites work: A jump operator on honest subrecursive degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503966
@@ Property / cites work: Q4503966 / rank @@
+Normal rank
@@ Property / cites work @@
+Streamlined subrecursive degree theory
@@ Property / cites work: Streamlined subrecursive degree theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Randomness
@@ Property / cites work: Computability and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934564
@@ Property / cites work: Q4934564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank