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 Serie 8 81 (1987), fasc. n.1, p. 15-22, (Italian)
pdf (1.01 MB), djvu (1.06 MB). | MR 1000019
Sunto
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à.
Referenze Bibliografiche
[1]
M. BOFFA (
1969) -
Sur la theories des ensemble sans axiome de fondement, «
Bull. Soc. Math. Belg.»,
21, 16-56. |
MR 260588 |
Zbl 0193.30601[2]
M. BOFFA (
1972) -
Forcing et négation de l'axiome de fondement, «
Mem. Acad. Sc. Belg.»,
40 (7). |
MR 476514 |
Zbl 0286.02068[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 351810 |
Zbl 0269.02029[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 885554 |
Zbl 0552.03034[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 177897 |
Zbl 0171.26402