Seminario di analisi matematica, interdisciplinare, logica
ore
16:00
presso Seminario II
In this talk, after reviewing the main concepts related to forcing and giving some examples of frequently used forcing notions (i.e. partially ordered sets deployed for this technique), we discuss some "concrete" mathematical statements that can be shown to be undecidable. In particular, we will show that the existence of a Suslin Line is independent of ZFC.