Abstract
In this paper we will make a survey of some results concerning recursion in a normal type-3-object as defined by Kleene [6]. We will use an alternative definition originally described in Normann [10] where we extend recursion theory to arbitrary sets.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. Devlin, Aspects of Constructibility, Springer Lecture Notes 354.
J. E. Fenstad, ‘Computation theories: An axiomatic approach to recursion on general structures’, in Müller, Obeischelp and Potthoff (eds.), Logic Conference, Kiel 1974, 143–169, Springer Lecture Notes 499.
J. E. Fenstad, monograph on recursion theory, in preparation.
J. E. Fenstad and P. G. Hinman (eds.), Generalized Recursion Theory, North- Holland, 1974.
L. Harrington, Contributions to Recursion Theory in Higher Types, Ph.D. Thesis, MIT, 1973.
S. C. Kleene, ‘Recursive functionals and quantifiers of finite type I’, Trans. Amer. Math. Soc. 91 (1959), 1–52, and II, 108 (1963), 106-142.
D. B. MacQueen, Post’s Problem for Recursion in Higher Types, Ph.D. Thesis, MIT, 1972.
J. Moldestad, ‘Computation Theory on Two Types’, Preprint Series no. 2, Oslo, 1976.
D. Normann, ‘Imbedding of higher type theories’, Preprint Series no. 16, Oslo, 1974.
D. Normann, ‘Degrees of functionals’, Preprint Series no. 22, Oslo, 1975.
G. E. Sacks, ‘The 1-section of a type n object’, in Fenstad and Hinman (eds.), Generalized recursion theory, 81–93, North-Holland, 1974.
G. E. Sacks, ‘The k-section of a type n object’, to appear.
J. R. Shoenfield, Degrees of Unsolvability, North-Holland, 1971.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Normann, D. (1979). Recursion in 3 E and a Splitting Theorem. In: Hintikka, J., Niiniluoto, I., Saarinen, E. (eds) Essays on Mathematical and Philosophical Logic. Synthese Library, vol 122. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9825-4_14
Download citation
DOI: https://doi.org/10.1007/978-94-009-9825-4_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9827-8
Online ISBN: 978-94-009-9825-4
eBook Packages: Springer Book Archive