Recursive functionals and quantifiers of finite types. II
S. C. Kleene · Transactions of the American Mathematical Society · 1963
In 1957 we put about half of the material we then had on this subject into Part I [37] of this paper and [18].(Not all of the topics intended for inclusion in Part II were mentioned in Part I.) Now in 1961, with this Part II and [39; 40; 41 and 42] written, our project seems to us still as far from completed as it seemed in 1957, and we are planning a Part III.(Not all of the topics which we said in Part I would be in Part II are treated in the present series of papers.)Early in §9 of this Part II we give the Kreisel result cited in Footnote 17 at the end of Part I.The remainder of §9 continues the analysis of substitution of func-