Article contents
Degrees of continuous functionals
Published online by Cambridge University Press: 12 March 2014
Abstract
The partial order structure of degrees of unsolvability represented by continuous type-2 functional is a proper extension of the partial order structure of type-1 degrees.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1973
References
BIBLIOGRAPHY
[Ad]Addison, J. W., Separation principles in the hierarchies of classical and effective descriptive set theory, Fundamenta Mathematicae, vol. 46 (1958), pp. 123–135.CrossRefGoogle Scholar
[Gr]Grilliot, Thomas J., On effectively discontinuous type-2 objects, this Journal, vol. 36 (1971), pp. 245–248.Google Scholar
[Kl]Kleene, S. C., Recursive functionals and quantifiers of finite types. I, II, Transactions of the American Mathematical Society, vol. 91 (1959), pp. 1–52; vol. 108 (1963), pp. 106–142.Google Scholar
- 6
- Cited by