Kleene’s Amazing Second Recursion Theorem (Q3644738): Difference between revisions

@@ Property / cites work @@
+Separation principles in the hierarchies of classical and effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Q4052072
@@ Property / cites work: Q4052072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3248969
@@ Property / cites work: Q3248969 / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / 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 @@
+Recursive Predicates and Quantifiers
@@ Property / cites work: Recursive Predicates and Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Arithmetical Predicates and Function Quantifiers
@@ Property / cites work: Arithmetical Predicates and Function Quantifiers / 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 @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256314
@@ Property / cites work: Q3256314 / 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 @@
+Projective determinacy
@@ Property / cites work: Projective determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical descriptive set theory as a refinement of effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+On definable sets of positive integers
@@ Property / cites work: On definable sets of positive integers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5810538
@@ Property / cites work: Q5810538 / rank @@
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Effective operations on partial recursive functions
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Deduction-preserving "Recursive Isomorphisms" between theories
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / 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 @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Supercompact cardinals, sets of reals, and weakly homogeneous trees
+Normal rank