datum: 27.6.2012 v 9:00
název: Forcing: Eastonova věta a bi-interpretace
přednášející: Jana Glivická (UI) , Martin Blicha
místo konání: UI, 2.patro, místnost č.318

souhrn: Ukážeme si nejdůležitější tvrzení o funkci kontinua v teorii množin. Zaměříme se především na Eastonovu větu, předvedeme její důsledky pro velké kardinály a důsledky existence velkých kardinálů na možné hodnoty funkce kontinua. Připomeneme pojem interpretace (a vztah forcingu a interpretace) a zavedeme pojem bi-interpretace. Ukážeme, že vzájemná interpretovatelnost dvou teorií neimplikuje jejich bi-interpretovatelnost. Hlavní metodou nám bude forcing.