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 = {https://www.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  - https://www.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 https://www.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. https://www.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. | Zbl | MR

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

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. | Zbl | MR

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. | Zbl | MR | Numdam

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

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. | Zbl | MR

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

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

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

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

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