GENERALIZATIONS OF THE RECURSION THEOREM (Q4647121): Difference between revisions

@@ Property / cites work @@
+Q3674634
@@ Property / cites work: Q3674634 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Pearls:<i>Representing ‘undefined’ in lambda calculus</i>
+Normal rank
@@ Property / cites work @@
+Classifying positive equivalence relations
@@ Property / cites work: Classifying positive equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion
+Normal rank
@@ Property / cites work @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Kolmogorov complexity and the Recursion Theorem
@@ Property / cites work: Kolmogorov complexity and the Recursion Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723720
@@ Property / cites work: Q4723720 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal recursion theoretic properties of r.e. preordered structures
+Normal rank
@@ Property / cites work @@
+Kleene's Amazing Second Recursion Theorem
@@ Property / cites work: Kleene's Amazing Second Recursion Theorem / 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 @@
+Q3759970
@@ Property / cites work: Q3759970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank