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à.
Si introducono alcuni schemi di assiomi di libera costruzione in una teoria che presenta coppie, -uple e operazioni come oggetti primitivi. Si danno alcuni esempi.
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à.
Si introducono alcuni schemi di assiomi di libera costruzione in una teoria che presenta coppie, -uple e operazioni come oggetti primitivi. Si danno alcuni esempi.
Page 1