2023
05 dicembre
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.
Torna alla pagina dei seminari del Dipartimento di Matematica di Bologna