Universality, Superuniversality, pseudo-models, relations of pseudo-universe and elementary techniques

Massimo Clavelli

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

  • Volume: 81, Issue: 1, page 15-22
  • ISSN: 1120-6330

Abstract

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

How to cite

top

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 Lincei. Matematica e Applicazioni 81.1 (1987): 15-22. <http://eudml.org/doc/287309>.

@article{Clavelli1987,
abstract = {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à.},
author = {Clavelli, Massimo},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {Superuniversality; Universality; Pseudo-models},
language = {ita},
month = {3},
number = {1},
pages = {15-22},
publisher = {Accademia Nazionale dei Lincei},
title = {Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari},
url = {http://eudml.org/doc/287309},
volume = {81},
year = {1987},
}

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. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1987/3//
PB - Accademia Nazionale dei Lincei
VL - 81
IS - 1
SP - 15
EP - 22
AB - 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à.
LA - ita
KW - Superuniversality; Universality; Pseudo-models
UR - http://eudml.org/doc/287309
ER -

References

top
  1. BOFFA, M. (1969) - Sur la theories 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. (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. Zbl0269.02029MR351810
  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. Zbl0541.03032MR739920
  7. FORTI, M. e HONSELL, F. (1984) - Axiom of choise and free construction principles I, «Bull. Soc. Mat. Belg.», serie B, 36, 69-79. Zbl0552.03034MR885554
  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. Zbl0171.26402MR177897
  9. RIMSHA, M.V. (1981) - Universality and strong extensionality. «Arc. f. math. Log. u. Grund. der Math.», 21, 195-205. MR644185DOI10.1007/BF02011644

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.