Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari
Clavelli, Massimo
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 81 (1987), p. 15-22 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Vengono studiati vari principi di universalità in un sistema del tipo Fraenkel-Mostowski. Vengono usate solo tecniche elementari, quali permutazioni dell'universo e limiti diretti. Le nozioni di "relazione di pseudo-universo" e di "pseudo modello" vengono introdotte e studiate in connessione con le proprietà di universalità e superuniversalità.

Various principles of universality are studied within a Fraenkel-Mostowski-type set theory. Only "elementary" techniques, such as permutations of the universe and direct limits, are used. The notions of "pseudo-universal relation" and "pseudo-model" are introduced and studied in connection with the properties of universality and superuniversality.

Publié le : 1987-03-01
@article{RLINA_1987_8_81_1_15_0,
     author = {Massimo Clavelli},
     title = {Universalit\`a, Super-universalit\`a, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {81},
     year = {1987},
     pages = {15-22},
     mrnumber = {1000019},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1987_8_81_1_15_0}
}

Clavelli, Massimo. Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 81 (1987) pp. 15-22. http://gdmltest.u-ga.fr/item/RLINA_1987_8_81_1_15_0/

[1] Boffa, M. (1969) - Sur la theories 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. (1984) - Nuove presentazioni dei fondamenti della matematica, Pisa, tesi di laurea.

[4] Clavelli, M. (1984) - Collezioni e comprensione non-negativa: proposta di due teorie assiomatiche del tipo elementi classi collezioni. Università di Siena, Dipartimento di Matematica, rapporto matematico, n. 126.

[5] Felgner, U. (1971) - Models of ZF set theory, lecture notes in Mathematics n. 223, Springer Verlag. | MR 351810 | Zbl 0269.02029

[6] Forti, M. e Honsell, F. (1983) - Set theory with free construction principles, «Annali della Scuola Normale Superiore di Pisa», Classe di Scienze, Serie IV, 10, 493-522. | MR 739920 | Zbl 0541.03032

[7] Forti, M. e Honsell, F. (1984) - Axiom of choise and free construction principles I, «Bull. Soc. Mat. Belg.», serie B, 36, 69-79. | MR 885554 | Zbl 0552.03034

[8] Hàjiek, P. (1965) - Modelle der Mengenlehre in denen Mengen gegebener Gestalt existieren, «Zeitscr. f. Math. Log. u. Grund. der Math.», 11, 103-115. | MR 177897 | Zbl 0171.26402

[9] Rimsha, M.V. (1981) - Universality and strong extensionality. «Arc. f. math. Log. u. Grund. der Math.», 21, 195-205. | MR 644185