@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://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 - http://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 http://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. http://www.numdam.org/item/ASCFM_1967__35_4_5_0/
A-K A note on function quantification, Proc. Amer. Math. Soc. 8 (1957) pp. 1002-1006. | MR | Zbl
and -KG Uber eine bisher noch nicht benutzte Erweiterung des fini ten Standpunktes, Dialectica 12 (1958) pp. 210-287. | MR | Zbl
-ROG1 Selection operators for recursive functionals, in preparation.
-ROG2 Proof of Mostowski's con jecture, Bull. Acad. Pol. Sci. 8 (1960) pp. 571-574. | MR | Zbl
-ROG3 The Analytic hierarchy and recursive functionals, (Abstract), Monthly notices Amer. Math. Soc. June 1962.
-GK1 La Prédicativité, Bull. Soc. Math. France 88 (1960) pp. 371-391. | Numdam | MR | Zbl
-GK2 Set theoretic problems suggested by the notion of potential total ity, Infinitistic Methods, Warsaw 1961 pp. 103-140. | MR | Zbl
-GK3 Model l theoretic invariants: applications to recursive and hyperarithmetic operations, Proc. Theory of Models, Symposium held at Berkeley, July 1963. | Zbl
-SCK Recursive functionals and Quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959) pp. 1-52. | MR | Zbl
-AMI Formal systems of analysis based on an infinitistic rule of proof, Infinitistic Methods, Warsaw 1961, pp. 141-166. | MR | Zbl
-AM2 An undecidable arithmetical statement, Fund. Math. 36 (1949) pp. 143-164. | EuDML | MR | Zbl
-CS Hyperarithmetical quantifiers, Fund. Math. 48 (1961) pp. 113-120. | EuDML | MR | Zbl
-JRS The form of the negation of a predicate, Recursive Function Theory Proc. Symp. Pure. Math. 5 (1962) pp. 131-134. | MR | Zbl
-TT Predicates recursive in a type 2 object and Kleene hierarchies, Comment. Math. Univ. St. Paul 8 (1959) pp. 97-117. | MR | Zbl
-