Seminario del 2023

Dicembre
11
2023
Matteo Casarosa
Some applications of forcing
nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
analisi matematica
interdisciplinare
logica
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.
organizzato da: Martino Lupini

indietro