Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti
Clavelli, Massimo
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 81 (1987), p. 103-110 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Si introducono alcuni schemi di assiomi di libera costruzione in una teoria che presenta coppie, n-uple e operazioni come oggetti primitivi. Si danno alcuni esempi.

I introduce some schemes of axioms of free construction in a theory that presents pairs, n-tuples and operations as primitive objects. I present some examples.

Publié le : 1987-06-01
@article{RLINA_1987_8_81_2_103_0,
     author = {Massimo Clavelli},
     title = {Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {81},
     year = {1987},
     pages = {103-110},
     mrnumber = {0999424},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1987_8_81_2_103_0}
}

Clavelli, Massimo. Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 81 (1987) pp. 103-110. http://gdmltest.u-ga.fr/item/RLINA_1987_8_81_2_103_0/

[1] Boffa, M. (1969) - Sur la théorie des ensemble sans axiome de fondement, «Bull. Soc. Math. Belg.», 21, 16-56. | MR 260588 | Zbl 0193.30601

[2] Boffa, M. (1972) - Forcing et négation de l'axiome de fondement, «Mem. Acad. Sc. Belg.», 40 (7). | MR 476514 | Zbl 0286.02068

[3] Clavelli, M. (1986) - I principi di libera costruzione per coppie, uruple, operazioni e funzioni nella teoria quadro dei fondamenti della matematica di De Giorgi-Forti. «Dip. di Mat., Pisa», quad. n. 162.

[4] Clavelli, M. - Consistenza relativa dell'assioma complessivo di superuniversalità per insiemi, uruple e operazioni, (in preparazione).

[5] Clavelli, M. (1986) - Universalità, superuniversalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari, Sc. Nor. Sup., Pisa (in attesa di ristampa sugli «Atti dell'Accademia dei Lincei, Rend. Sci. Fis. Mat. Nat.»).

[6] De Giorgi, E., Forti, M., Tortorelli, V.M. e Clavelli, M. - Un'estensione della teoria quadro: relazioni, qualità, funzioni e variabili, (in preparazione).

[7] De Giorgi, E. e Forti, M. - Una teoria quadro per i fondamenti della matematica, «Atti Accad. Naz. Lincei, Rend. Sci. Fis. Mat. Nat.». | Zbl 0635.03045

[8] Forti, M. e Honsell, F. (1983) - Set theory with free construction principles, «Ann. Sc. Nor. Sup. di Pisa, Clas. Sci.», Ser. VI, 10, 493-522. | MR 739920 | Zbl 0541.03032

[9] Forti, M. e Honsell, F. - Axiom of choise and free construction principles, «Bull. Soc. Math. Belg.», Ser. B., 36, 69-79. | MR 885554 | Zbl 0552.03034