Kleene’s Amazing Second Recursion Theorem
From MaRDI portal
Publication:3644738
DOI10.1007/978-3-642-04027-6_5zbMath1257.03064OpenAlexW2164746242MaRDI QIDQ3644738
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
Descriptive set theory (03E15) Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Classical descriptive set theory as a refinement of effective descriptive set theory
- Provability interpretations of modal logic
- General recursive functions of natural numbers
- Zur Theorie der konstruktiven Wohlordnungen
- Arithmetical Predicates and Function Quantifiers
- Hierarchies of number-theoretic predicates
- Recursive well-orderings
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
- Effective operations on partial recursive functions
- Separation principles in the hierarchies of classical and effective descriptive set theory
- Projective determinacy
- Supercompact cardinals, sets of reals, and weakly homogeneous trees
- Deduction-preserving "Recursive Isomorphisms" between theories
- On notation for ordinal numbers
- On definable sets of positive integers
- On the Forms of the Predicates in the Theory of Constructive Ordinals
- Recursive Predicates and Quantifiers
- Recursively enumerable sets of positive integers and their decision problems
- Creative sets
This page was built for publication: Kleene’s Amazing Second Recursion Theorem
