Prove di consistenza e indipendenza nella Teoria degli insiemi

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:
[thumbnail of Thesis] 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
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Venieri, Lorenzo
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
insiemi assiomi consistenza indipendenza
Data di discussione della Tesi
24 Settembre 2021
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^