Forcing with wider Silver

Seminarium: 
Topologia
Osoba referująca: 
Aleksander Cieślak (Nokia)
Data: 
wtorek, 21. Kwiecień 2020 - 17:00
Sala: 
Zoom (po link należy zgłosić się do organizatorów seminarium)
Opis: 
We are going to establish basic properties of diagonal version of Silver forcing. Such forcing consists of partial functions p:\omega\rightarrow\omega with infinite codomain and p(n)<=n for each n\in dom(p). Cardinal characteristics of continuum will be calculated.