Contradictory extensions of the ample theory

Lenzi, Giacomo. "Estensioni contraddittorie della teoria Ampia." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti 83.1 (1989): 13-28. <http://eudml.org/doc/289179>.

@article{Lenzi1989,
abstract = {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".},
author = {Lenzi, Giacomo},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
keywords = {Quality; Relation; Operation; Pair},
language = {ita},
month = {12},
number = {1},
pages = {13-28},
publisher = {Accademia Nazionale dei Lincei},
title = {Estensioni contraddittorie della teoria Ampia},
url = {http://eudml.org/doc/289179},
volume = {83},
year = {1989},
}

TY - JOUR
AU - Lenzi, Giacomo
TI - Estensioni contraddittorie della teoria Ampia
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1989/12//
PB - Accademia Nazionale dei Lincei
VL - 83
IS - 1
SP - 13
EP - 28
AB - 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".
LA - ita
KW - Quality; Relation; Operation; Pair
UR - http://eudml.org/doc/289179
ER -