Categorie ricorsive.

Carlo Cellucci

Bollettino dell'Unione Matematica Italiana (1964)

  • Volume: 19, Issue: 3, page 300-305
  • ISSN: 0392-4041

How to cite

top

Cellucci, Carlo. "Categorie ricorsive.." Bollettino dell'Unione Matematica Italiana 19.3 (1964): 300-305. <http://eudml.org/doc/195982>.

@article{Cellucci1964,
author = {Cellucci, Carlo},
journal = {Bollettino dell'Unione Matematica Italiana},
keywords = {mathematical logic},
language = {ita},
month = {9},
number = {3},
pages = {300-305},
publisher = {Zanichelli},
title = {Categorie ricorsive.},
url = {http://eudml.org/doc/195982},
volume = {19},
year = {1964},
}

TY - JOUR
AU - Cellucci, Carlo
TI - Categorie ricorsive.
JO - Bollettino dell'Unione Matematica Italiana
DA - 1964/9//
PB - Zanichelli
VL - 19
IS - 3
SP - 300
EP - 305
LA - ita
KW - mathematical logic
UR - http://eudml.org/doc/195982
ER -

References

top
  1. DAVIS, M.Computable functionals of arbitrary finite type, Constructivity in mathematics, Amsterdam, 1959. pp.281-284. Zbl0085.24803MR107604
  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 Zbl0083.00302
  3. EILENBERG, S. - MACLANE, S., General theory of natural équivalences, Transactions of the American Mathematical Society, Vol. 58 (1945), pp. 231-294. Zbl0061.09204
  4. KLEENE, S. C., Introduction to metamathematics, Amsterdam1952. Zbl0047.00703
  5. KLEENE, S. C., Countable functionals, Constructivity in mathematics, Amsterdam 1959, pp. 81-100. Zbl0100.24901MR112837
  6. KLEENE, S. C., Recursive functionals and qaantifiers of finite types. T, Transactions of the American Mathematical Society, Vol. 91 (1959), pp. 1-52. Zbl0088.01301MR102480
  7. KREISEL, G., Interpretation of analysis by means of constructive functionals of finite types. Constructivity in mathematics. Amsterdam 1959, pp. 101-128 Zbl0134.01001MR106838
  8. KUROSCH, A. G. - LIWSCHITZ, A. CH. - SCHULGEIFER, E. G - ZALENKO, M. S., Zur theorie der kategorien, Berlin1963. Zbl0103.26601
  9. RABIN, M. O.. Computable algebrair systems, Summaries Sumnmer Institute for Symbolic Logic (Cornell University 1957), Princeton1960, pp. 134-138. Zbl0173.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. Zbl0053.00301MR53041
  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. Zbl0143.25502MR154801

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.