Kleene’s Amazing Second Recursion Theorem

DOI10.1007/978-3-642-04027-6_5MaRDI QIDQ3644738zbMATH OpenOpenAlexFDO

Authors Yiannis N. Moschovakis

Publication date 12 November 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04027-6_5

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Descriptive set theory (03E15) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Kleene's amazing second recursion theorem
• Effectivity questions for Kleene's recursion theorem
• The Mathematical Work of S.C.Kleene
• Infinitary self-reference in learning theory
• Recursion theorems and effective domains

Cites work

• scientific article; zbMATH DE number 3132764 (Why is no real title available?)
• scientific article; zbMATH DE number 3139751 (Why is no real title available?)
• scientific article; zbMATH DE number 3467029 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3070430 (Why is no real title available?)
• Arithmetical Predicates and Function Quantifiers
• Classical descriptive set theory as a refinement of effective descriptive set theory
• Creative sets
• Deduction-preserving "Recursive Isomorphisms" between theories
• Descriptive set theory
• Effective operations on partial recursive functions
• General recursive functions of natural numbers
• Hierarchies of number-theoretic predicates
• On definable sets of positive integers
• On notation for ordinal numbers
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Projective determinacy
• Provability interpretations of modal logic
• Recursive Predicates and Quantifiers
• Recursive well-orderings
• Recursively enumerable sets of positive integers and their decision problems
• Separation principles in the hierarchies of classical and effective descriptive set theory
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• Zur Theorie der konstruktiven Wohlordnungen

Cited in

(2)

• Kleene's amazing second recursion theorem
• Classical descriptive set theory as a refinement of effective descriptive set theory

This page was built for publication: Kleene’s Amazing Second Recursion Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3644738)