Geodesic
Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 81 (1987) no. 2, pp. 103-110 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

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. 
@article{RLINA_1987_8_81_2_a0,
     author = {Clavelli, Massimo},
     title = {Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di {De} {Giorgi-Forti}},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {103--110},
     year = {1987},
     volume = {Ser. 8, 81},
     number = {2},
     mrnumber = {0999424},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1987_8_81_2_a0/}
}
TY  - JOUR
AU  - Clavelli, Massimo
TI  - Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1987
SP  - 103
EP  - 110
VL  - 81
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/RLINA_1987_8_81_2_a0/
LA  - it
ID  - RLINA_1987_8_81_2_a0
ER  - 
%0 Journal Article
%A Clavelli, Massimo
%T Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1987
%P 103-110
%V 81
%N 2
%U http://geodesic.mathdoc.fr/item/RLINA_1987_8_81_2_a0/
%G it
%F RLINA_1987_8_81_2_a0
Clavelli, Massimo. Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 81 (1987) no. 2, pp. 103-110. http://geodesic.mathdoc.fr/item/RLINA_1987_8_81_2_a0/

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

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

[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

[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. | fulltext EuDML | fulltext mini-dml | MR | Zbl

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