Free construction principles, in the frame-theory of fundaments of Mathematics of De Giorgi-Forti

Massimo Clavelli

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni (1987)

  • Volume: 81, Issue: 2, page 103-110
  • ISSN: 1120-6330

Abstract

top
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.

How to cite

top

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 Lincei. Matematica e Applicazioni 81.2 (1987): 103-110. <http://eudml.org/doc/287389>.

@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 Lincei. Matematica e Applicazioni},
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/287389},
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 Lincei. Matematica e Applicazioni
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/287389
ER -

References

top
  1. BOFFA, M. (1969) - Sur la théorie des ensemble sans axiome de fondement, «Bull. Soc. Math. Belg.», 21, 16-56. Zbl0193.30601MR260588
  2. BOFFA, M. (1972) - Forcing et négation de l'axiome de fondement, «Mem. Acad. Sc. Belg.», 40 (7). Zbl0286.02068MR476514
  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.». Zbl0635.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. Zbl0541.03032MR739920
  9. FORTI, M. e HONSELL, F. - Axiom of choise and free construction principles, «Bull. Soc. Math. Belg.», Ser. B., 36, 69-79. Zbl0552.03034MR885554

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.