Recursion in Higher Types*

This publication has 9 references indexed in Scilit:

• Selection in abstract recursion theory
  The Journal of Symbolic Logic, 1976
• On characterizing Spector classes
  The Journal of Symbolic Logic, 1975
• A hierarchy for the 1-section of any type two object
  The Journal of Symbolic Logic, 1974
• On effectively discontinuous type-2 objects
  The Journal of Symbolic Logic, 1971
• Representability in some systems of second order arithmetic
  Israel Journal of Mathematics, 1970
• Hierarchies based on objects of finite type¹
  The Journal of Symbolic Logic, 1969
• Hierarchies of effective descriptive set theory
  Transactions of the American Mathematical Society, 1969
• A hierarchy based on a type two object
  Transactions of the American Mathematical Society, 1968
• Hyperanalytic predicates
  Transactions of the American Mathematical Society, 1967