Geodesic
Una proposta di teorie base dei Fondamenti della Matematica
Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni, Série 9, Tome 5 (1994) no. 1, pp. 11-22.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Vengono proposte alcune teorie base dei Fondamenti della Matematica che assumono come concetti primitivi i concetti di numero naturale, collezione, qualità, operazione e relazione; le operazioni e le relazioni considerate possono essere più o meno complesse: il numero naturale che indica il grado di complessità è detto arietà. Nelle teorie considerate è raggiunto un alto grado di autoreferenza.
Some basic theories of the Foundations of Mathematics are proposed, which take as primitive concepts the notions of natural number, collection, quality, operation and relation; the operations and relations we consider can be more or less complex: the natural number indicating the degree of complexity is called arity. A high degree of self-reference is reached in the theories we consider. 
@article{RLIN_1994_9_5_1_a1,
     author = {De Giorgi, Ennio and Forti, Marco and Lenzi, Giacomo},
     title = {Una proposta di teorie base dei {Fondamenti} della {Matematica}},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni},
     pages = {11--22},
     publisher = {mathdoc},
     volume = {Ser. 9, 5},
     number = {1},
     year = {1994},
     zbl = {0797.03006},
     mrnumber = {1273887},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLIN_1994_9_5_1_a1/}
}
TY  - JOUR
AU  - De Giorgi, Ennio
AU  - Forti, Marco
AU  - Lenzi, Giacomo
TI  - Una proposta di teorie base dei Fondamenti della Matematica
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni
PY  - 1994
SP  - 11
EP  - 22
VL  - 5
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLIN_1994_9_5_1_a1/
LA  - it
ID  - RLIN_1994_9_5_1_a1
ER  - 
%0 Journal Article
%A De Giorgi, Ennio
%A Forti, Marco
%A Lenzi, Giacomo
%T Una proposta di teorie base dei Fondamenti della Matematica
%J Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni
%D 1994
%P 11-22
%V 5
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLIN_1994_9_5_1_a1/
%G it
%F RLIN_1994_9_5_1_a1
De Giorgi, Ennio; Forti, Marco; Lenzi, Giacomo. Una proposta di teorie base dei Fondamenti della Matematica. Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni, Série 9, Tome 5 (1994) no. 1, pp. 11-22. http://geodesic.mathdoc.fr/item/RLIN_1994_9_5_1_a1/

[1] A. Asperti - G. Longo, Categories, Types and Structures - An Introduction to Category Theory for the Working Computer Scientist. Cambridge Mass., 1991. | MR | Zbl

[2] H. P. Barendregt, The Lambda-Calculus. Amsterdam 1981. | MR | Zbl

[3] Y. Bar Hiller - A. A. Fraenkel - A. Levy, Foundations of Set Theory. Amsterdam 1973. | Zbl

[4] M. Beeson, Towards a computation system based on set theory. Preprint, CSLI, Stanford 1987. | DOI | MR | Zbl

[5] J. Benabou, Fibered categories and the foundations of naïve category theory. Journal of Symbolic Logic, 50, 1985, 10-37. | fulltext mini-dml | DOI | MR | Zbl

[6] M. Boffa, Sur la théorie des ensembles sans axiome de fondement. Bull. Soc. Math. Belg., 21, 1969, 16-56. | MR | Zbl

[7] A. Church, Set theory with a universal set. In: L. HENKIN et al. (eds.), Proceedings of the Tarski Symposium. Proc. of Symp. P. Math. XXV, Rhode Island 1974, 297-308. | MR | Zbl

[8] M. Clavelli - E. De Giorgi - M. Forti - V. M. Tortorelli, A selfreference oriented theory for the Foundations of Mathematics. In: Analyse Mathématique et applications. Contributions en l'honneur de Jacques-Louis Lions. Parigi 1988, 67-115. | Zbl

[9] H. B. Curry - R. Feys, Combinatory Logic. Amsterdam 1958. | Zbl

[10] E. De Giorgi, Fondamenti della Matematica e teorie base: gli esempi delle teorie \( 7 \times 2 \) e \( 7 \times 5 \) (sunto di una conversazione). Lecce 1989, manoscritto.

[11] E. De Giorgi - M. Forti, Una teoria-quadro per i fondamenti della matematica. Atti Acc. Lincei Rend. fis., s. 8, vol. 79, 1985, 55-67. | Zbl

[12] E. De Giorgi - M. Forti, \( "5 x 7" \): A Basic Theory for the Foundations of Mathematics. Preprint di Matematica n. 74, Scuola Normale Superiore, Pisa 1990.

[13] S. Feferman, Constructive theories of functions and classes. In: M. BOFFA et al. (eds.), Logic Colloquium 1978. Amsterdam 1979. | MR | Zbl

[14] M. Forti - F. Honsell, Models of self descriptive set theories. In: F. COLOMBINI et al. (eds.), Partial Differential Equations and the Calculus of Variations - Essays in Honor of Ennio De Giorgi. Boston 1989, 473-518. | MR | Zbl

[15] M. Forti - G. Lenzi, Assiomi e modelli di teorie base dei Fondamenti della Matematica. In preparazione.

[16] G. Frege, Grundgesetze der Aritmetik, begriffsschriftlich abgeleitet. Vol. I, Jena 1893; vol. II, Pohle, Jena 1903 (ristampato Olms, Hildesheim 1962). | Jbk 25.0101.02 | MR

[17] J. M. Glubrecht - A. Oberschelp - G. Todt, Klassenlogik. Zurigo 1983. | MR | Zbl

[18] G. Lenzi, Estensioni contraddittorie della teoria Ampia. Atti Acc. Lincei Rend. fis., s. 8, vol. 83, 1989, 13-28. | Zbl

[19] G. Lenzi - V. M. Tortorelli, Introducing predicates into a basic theory for the foundations of Mathematics. Preprint di Matematica n. 51, Scuola Normale Superiore, Pisa, luglio 1989.

[20] W. V. O. Quine, New foundations for mathematical logic. Amer. Math. Monthly, 44, 1973, 70-80. | Jbk 63.0022.02 | DOI | MR

[21] B. Russell - A. N. Whitehead, Principia Mathematica. Cambridge 1925. | Jbk 51.0046.06

[22] D. Scott, Combinators and classes. In: C. BÖHM (ed.), \( \lambda \) λ -Calculus and Computer Science Theory. LNCS, 37, Berlino 1975. | MR | Zbl

[23] J. Von Neumann, Eine Axiomatisierung der Mengenlehre. J. f. Math., 154, 1925, 219-240. | fulltext EuDML | Jbk 51.0163.04