Questo sito utilizza solo cookie tecnici per il corretto funzionamento delle pagine web e per il miglioramento dei servizi.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Seminario del 2023
2023
05 dicembre
Matteo Casarosa
nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
Seminario di analisi matematica, interdisciplinare, logica
In this talk, we introduce some set-theoretic tools to prove consistency results. More precisely, the presentation will cover Goedel's Constructible Universe as well as Cohen's method of forcing. No previous knowledge on this subject will be assumed.