Venieri, Lorenzo
(2021)
Prove di consistenza e indipendenza nella Teoria degli insiemi.
[Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270]
Documenti full-text disponibili:
Documento PDF (Thesis)
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato Download (661kB) |
Abstract
Nella tesi dopo una breve introduzione a carattere storico si espongono risultati di consistenza e indipendenza per assiomi della teoria degli insiemi ZF. I risultati sono ottenuti mediante modelli elementari, oppure sono risultati derivati sulla base dell'assunzione di consistenza di ZF (per i noti risultati di Gödel); in particolare si discutono le relazioni tra ZF e l'assioma di regolarità (buona fondazione).
Abstract