Seminario di analisi matematica, interdisciplinare, logica
ore
16:00
presso Aula Enriques
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.