Geodesic
General recursive functionals of finite type and hierarchies of functions
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 35 (1967) no. 4, pp. 5-24.

Voir la notice de l'article provenant de la source Numdam

@article{ASCFM_1967__35_4_5_0,
     author = {Gandy, R. O.},
     title = {General recursive functionals of finite type and hierarchies of functions},
     journal = {Annales scientifiques 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://geodesic.mathdoc.fr/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 scientifiques 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://geodesic.mathdoc.fr/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 scientifiques 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://geodesic.mathdoc.fr/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 scientifiques de l'Université de Clermont. Mathématiques, Tome 35 (1967) no. 4, pp. 5-24. http://geodesic.mathdoc.fr/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 | mathdoc-id

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