Nie jesteś zalogowany | Zaloguj się

On forcing names for ultrafilters

Prelegent(ci)
Piotr Borodulin-Nadzieja
Afiliacja
University of Wrocław
Termin
21 kwietnia 2021 16:15
Informacje na temat wydarzenia
Zoom
Seminarium
Seminarium „Topologia i teoria mnogości”

We show a way to handle names for ultrafilters in the random forcing.
Using this approach we reprove Kunen's theorem about long towers in the random model and Kamburelis' characterization of Boolean algebras supporting finitely additive measures.
The talk represents joint works with Damian Sobota and Katarzyna Cegielka.