Categorie ricorsive.
Cellucci, Carlo
Bollettino dell'Unione Matematica Italiana, Tome 19 (1964), p. 300-305 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 1964-09-01
@article{BUMI_1964_3_19_3_300_0,
     author = {Carlo Cellucci},
     title = {Categorie ricorsive.},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {19},
     year = {1964},
     pages = {300-305},
     zbl = {0149.00802},
     mrnumber = {171701},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1964_3_19_3_300_0}
}

Cellucci, Carlo. Categorie ricorsive.. Bollettino dell'Unione Matematica Italiana, Tome 19 (1964) pp. 300-305. http://gdmltest.u-ga.fr/item/BUMI_1964_3_19_3_300_0/

[1] Davis, M.Computable functionals of arbitrary finite type, Constructivity in mathematics, Amsterdam, 1959. pp.281-284. | MR 107604 | Zbl 0085.24803

[2] Dekker, J. C E. - Myhill, J.. Some theorems on classes of recursively enumerable sets, Transactions of the American Mathematical Society, Vol. 89 (1958). pp. 25-59 | Zbl 0083.00302

[3] Eilenberg, S. - Maclane, S., General theory of natural équivalences, Transactions of the American Mathematical Society, Vol. 58 (1945), pp. 231-294. | Zbl 0061.09204

[4] Kleene, S. C., Introduction to metamathematics, Amsterdam1952. | Zbl 0047.00703

[5] Kleene, S. C., Countable functionals, Constructivity in mathematics, Amsterdam 1959, pp. 81-100. | MR 112837 | Zbl 0100.24901

[6] Kleene, S. C., Recursive functionals and qaantifiers of finite types. T, Transactions of the American Mathematical Society, Vol. 91 (1959), pp. 1-52. | MR 102480 | Zbl 0088.01301

[7] Kreisel, G., Interpretation of analysis by means of constructive functionals of finite types. Constructivity in mathematics. Amsterdam 1959, pp. 101-128 | MR 106838 | Zbl 0134.01001

[8] Kurosch, A. G. - Liwschitz, A. Ch. - Schulgeifer, E. G - Zalenko, M. S., Zur theorie der kategorien, Berlin 1963. | Zbl 0103.26601

[9] Rabin, M. O.. Computable algebrair systems, Summaries Sumnmer Institute for Symbolic Logic (Cornell University 1957), Princeton1960, pp. 134-138. | Zbl 0173.01005

[10] Rice, H. G.. Classes of recursively enumerable sets and their décision problems, Transactions of the American Mathematical Society, Vol. 74 (1953), pp. 358-366. | MR 53041 | Zbl 0053.00301

[11] Spector, C., Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Proceedings of symposia in pure mathematics, Vol. 5, Providence1962, pp. 1-27. | MR 154801 | Zbl 0143.25502