Geodesic
Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 81 (1987) no. 1, pp. 15-22.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

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. 
@article{RLINA_1987_8_81_1_a2,
     author = {Clavelli, Massimo},
     title = {Universalit\`a, {Super-universalit\`a,} pseudo-modelli, relazioni di pseudo-universo e tecniche elementari},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {15--22},
     publisher = {mathdoc},
     volume = {Ser. 8, 81},
     number = {1},
     year = {1987},
     zbl = {0193.30601},
     mrnumber = {1000019},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1987_8_81_1_a2/}
}
TY  - JOUR
AU  - Clavelli, Massimo
TI  - Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1987
SP  - 15
EP  - 22
VL  - 81
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1987_8_81_1_a2/
LA  - it
ID  - RLINA_1987_8_81_1_a2
ER  - 
%0 Journal Article
%A Clavelli, Massimo
%T Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1987
%P 15-22
%V 81
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1987_8_81_1_a2/
%G it
%F RLINA_1987_8_81_1_a2
Clavelli, Massimo. Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 81 (1987) no. 1, pp. 15-22. http://geodesic.mathdoc.fr/item/RLINA_1987_8_81_1_a2/

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

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

[3] M. Clavelli (1984) - Nuove presentazioni dei fondamenti della matematica, Pisa, tesi di laurea.

[4] M. Clavelli (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] U. Felgner (1971) - Models of ZF set theory, lecture notes in Mathematics n. 223, Springer Verlag. | MR | Zbl

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

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

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

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