Free construction principles, in the frame-theory of fundaments of Mathematics of De Giorgi-Forti
- Volume: 81, Issue: 2, page 103-110
- ISSN: 0392-7881
Access Full Article
top
Abstract
topHow to cite
topClavelli, 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 81.2 (1987): 103-110. <http://eudml.org/doc/289105>.
@article{Clavelli1987,
abstract = {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.},
author = {Clavelli, Massimo},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
keywords = {Structure; Isomorphism; Free construction},
language = {ita},
month = {6},
number = {2},
pages = {103-110},
publisher = {Accademia Nazionale dei Lincei},
title = {Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti},
url = {http://eudml.org/doc/289105},
volume = {81},
year = {1987},
}
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. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1987/6//
PB - Accademia Nazionale dei Lincei
VL - 81
IS - 2
SP - 103
EP - 110
AB - 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.
LA - ita
KW - Structure; Isomorphism; Free construction
UR - http://eudml.org/doc/289105
ER -
References
top- BOFFA, M. (1969) - Sur la théorie des ensemble sans axiome de fondement, «Bull. Soc. Math. Belg.», 21, 16-56. Zbl0193.30601MR260588
- BOFFA, M. (1972) - Forcing et négation de l'axiome de fondement, «Mem. Acad. Sc. Belg.», 40 (7). Zbl0286.02068MR476514
- 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.
- CLAVELLI, M. - Consistenza relativa dell'assioma complessivo di superuniversalità per insiemi, uruple e operazioni, (in preparazione).
- 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.»).
- DE GIORGI, E., FORTI, M., TORTORELLI, V.M. e CLAVELLI, M. - Un'estensione della teoria quadro: relazioni, qualità, funzioni e variabili, (in preparazione).
- DE GIORGI, E. e FORTI, M. - Una teoria quadro per i fondamenti della matematica, «Atti Accad. Naz. Lincei, Rend. Sci. Fis. Mat. Nat.». Zbl0635.03045
- 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. Zbl0541.03032MR739920
- FORTI, M. e HONSELL, F. - Axiom of choise and free construction principles, «Bull. Soc. Math. Belg.», Ser. B., 36, 69-79. Zbl0552.03034MR885554
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.