Seminario del 2023

Dicembre
05
2023
Matteo Casarosa
A gentle introduction to forcing for mathematicians
nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
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.
organizzato da: Martino Lupini

indietro