Article contents
On the upper semi-lattice of -degrees
Published online by Cambridge University Press: 22 January 2016
Extract
S. C. Kleene developed the theory of recursive functionals of finite types in Kleene [5]. He proved that a set A of natural numbers is recursive in E if and only if A is hyperarithmetical, where E is the type 2 object defined by
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1980
References
- 1
- Cited by