Geodesic
Estensioni contraddittorie della teoria Ampia
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 83 (1989) no. 1, pp. 13-28.

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

Dopo una breve presentazione della teoria $A$, una teoria non riduzionista ed autoreferenziale dei fondamenti della matematica proposta da Clavelli, De Giorgi, Forti e Tortorelli nel 1987, si mostra l'inconsistenza di estensioni della teoria $A$ ottenute aggiungendo forti assiomi su relazioni e operazioni (ad es. assiomi che danno la composizione di operazioni, la congiunzione di relazioni, ecc.) e/o assiomi che forniscono qualche relazione "combinatoria".
First I briefly present the $A$-Theory, a non-reductionist, self-referential theory for the Foundations of Mathematics proposed by Clavelli, De Giorgi, Forti and Tortorelli in 1987. Then, in §§2-4,1 show the inconsistency of some extensions of the $A$-Theory, obtained by adding strong axioms on relations and operations (e.g. axioms giving the conjunction of relations, the composition of operations, etc.) and/or axioms giving some "combinatorial" relation. 
@article{RLINA_1989_8_83_1_a2,
     author = {Lenzi, Giacomo},
     title = {Estensioni contraddittorie della teoria {Ampia}},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {13--28},
     publisher = {mathdoc},
     volume = {Ser. 8, 83},
     number = {1},
     year = {1989},
     zbl = {0734.03029},
     mrnumber = {1142432},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a2/}
}
TY  - JOUR
AU  - Lenzi, Giacomo
TI  - Estensioni contraddittorie della teoria Ampia
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1989
SP  - 13
EP  - 28
VL  - 83
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a2/
LA  - it
ID  - RLINA_1989_8_83_1_a2
ER  - 
%0 Journal Article
%A Lenzi, Giacomo
%T Estensioni contraddittorie della teoria Ampia
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1989
%P 13-28
%V 83
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a2/
%G it
%F RLINA_1989_8_83_1_a2
Lenzi, Giacomo. Estensioni contraddittorie della teoria Ampia. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 83 (1989) no. 1, pp. 13-28. http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a2/

[1] Clavelli M., De Giorgi E., Forti M. e Tortorelli V.M., 1988. A self-reference oriented theory for the foundations of Mathematics. In Analyse Mathématique et applications Gauthier-Villars, Paris: 67-115. | Zbl