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 Serie 8 81 (1987), fasc. n.2, p. 103-110, (Italian)
pdf (878 Kb), djvu (907 Kb). | MR 0999424
Sunto
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.
Referenze Bibliografiche
[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[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