Kleene's Amazing Second Recursion Theorem (Q3161629): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/bsl/1286889124
+Normal rank
@@ Property / OpenAlex ID @@
+W2118589925
@@ Property / OpenAlex ID: W2118589925 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective operations on partial recursive functions
+Normal rank
@@ Property / cites work @@
+Borel extractions of converging sequences in compact sets of Borel functions
+Normal rank
@@ Property / cites work @@
+Effective properties in compact sets of Borel functions
+Normal rank
@@ Property / cites work @@
+Classical descriptive set theory as a refinement of effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Q4052072
@@ Property / cites work: Q4052072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3525843
@@ Property / cites work: Q3525843 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-one degrees of the predicates \(H_ a(x)\)
@@ Property / cites work: Many-one degrees of the predicates \(H_ a(x)\) / rank @@
+Normal rank
@@ Property / cites work @@
+Projective determinacy
@@ Property / cites work: Projective determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Theorie der konstruktiven Wohlordnungen
@@ Property / cites work: Zur Theorie der konstruktiven Wohlordnungen / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Supercompact cardinals, sets of reals, and weakly homogeneous trees
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative proof of a theorem of Kleene
@@ Property / cites work: Alternative proof of a theorem of Kleene / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Uncomplemented C(X)-Subalgebras of C(X)
@@ Property / cites work: Uncomplemented C(X)-Subalgebras of C(X) / rank @@
+Normal rank
@@ Property / cites work @@
+𝐴𝐷 and the very fine structure of 𝐿(ℝ)
@@ Property / cites work: 𝐴𝐷 and the very fine structure of 𝐿(ℝ) / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / 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 @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank