no. 4
General recursive functionals of finite type and hierarchies of functions
Annales de la faculté des sciences de l'université de Clermont. Mathématiques, Tome 35 (1967) no. 4, pp. 5-24. 
@article{ASCFM_1967__35_4_5_0,
     author = {Gandy, R. O.},
     title = {General recursive functionals of finite type and hierarchies of functions},
     journal = {Annales de la facult\'e des sciences de l'universit\'e de Clermont. Math\'ematiques},
     pages = {5--24},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {35},
     number = {4},
     year = {1967},
     mrnumber = {276093},
     language = {en},
     url = {http://archive.numdam.org/item/ASCFM_1967__35_4_5_0/}
}
TY  - JOUR
AU  - Gandy, R. O.
TI  - General recursive functionals of finite type and hierarchies of functions
JO  - Annales de la faculté des sciences de l'université de Clermont. Mathématiques
PY  - 1967
SP  - 5
EP  - 24
VL  - 35
IS  - 4
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://archive.numdam.org/item/ASCFM_1967__35_4_5_0/
LA  - en
ID  - ASCFM_1967__35_4_5_0
ER  - 
%0 Journal Article
%A Gandy, R. O.
%T General recursive functionals of finite type and hierarchies of functions
%J Annales de la faculté des sciences de l'université de Clermont. Mathématiques
%D 1967
%P 5-24
%V 35
%N 4
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://archive.numdam.org/item/ASCFM_1967__35_4_5_0/
%G en
%F ASCFM_1967__35_4_5_0
Gandy, R. O. General recursive functionals of finite type and hierarchies of functions. Annales de la faculté des sciences de l'université de Clermont. Mathématiques, Tome 35 (1967) no. 4, pp. 5-24. http://archive.numdam.org/item/ASCFM_1967__35_4_5_0/

A-K J.W. Addison and S.C. Kleene - A note on function quantification, Proc. Amer. Math. Soc. 8 (1957) pp. 1002-1006. | MR | Zbl

KG K. Gödel - Uber eine bisher noch nicht benutzte Erweiterung des fini ten Standpunktes, Dialectica 12 (1958) pp. 210-287. | MR | Zbl

ROG1 R.O. Gandy - Selection operators for recursive functionals, in preparation.

ROG2 R.O. Gandy - Proof of Mostowski's con jecture, Bull. Acad. Pol. Sci. 8 (1960) pp. 571-574. | MR | Zbl

ROG3 R.O. Gandy - The Analytic hierarchy and recursive functionals, (Abstract), Monthly notices Amer. Math. Soc. June 1962.

GK1 G. Kreisel - La Prédicativité, Bull. Soc. Math. France 88 (1960) pp. 371-391. | Numdam | MR | Zbl

GK2 G. Kreisel - Set theoretic problems suggested by the notion of potential total ity, Infinitistic Methods, Warsaw 1961 pp. 103-140. | MR | Zbl

GK3 G. Kreisel - Model l theoretic invariants: applications to recursive and hyperarithmetic operations, Proc. Theory of Models, Symposium held at Berkeley, July 1963. | Zbl

SCK S.C. Kleene - Recursive functionals and Quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959) pp. 1-52. | MR | Zbl

AMI A. Mostowski - Formal systems of analysis based on an infinitistic rule of proof, Infinitistic Methods, Warsaw 1961, pp. 141-166. | MR | Zbl

AM2 A. Mostowski - An undecidable arithmetical statement, Fund. Math. 36 (1949) pp. 143-164. | EuDML | MR | Zbl

CS C. Spector - Hyperarithmetical quantifiers, Fund. Math. 48 (1961) pp. 113-120. | EuDML | MR | Zbl

JRS J.R. Shoenfield - The form of the negation of a predicate, Recursive Function Theory Proc. Symp. Pure. Math. 5 (1962) pp. 131-134. | MR | Zbl

TT T. Tugue - Predicates recursive in a type 2 object and Kleene hierarchies, Comment. Math. Univ. St. Paul 8 (1959) pp. 97-117. | MR | Zbl