Nie jesteś zalogowany | Zaloguj się

Zbiory silnie miary zero w modelu Cohena

Prelegent(ci)
Michał Korch
Afiliacja
doktorant UW
Termin
13 marca 2013 16:15
Pokój
p. 5050
Seminarium
Seminarium „Topologia i teoria mnogości”

Łatwo się przekonać o tym, że liczby rzeczywiste z wyjściowego modelu są silnie miary zero po dodaniu nieprzeliczalnej liczby Cohenów. Jednak Laver, pisząc o niesprzeczności zaprzeczenia Hipotezy Borela w słynnej pracy z 1976, wspomina bez dowodu, że jest tak już w modelu po dodaniu jednego Cohena, co bywa przydatne w niektórych zastosowaniach. Ale wedle mojej wiedzy dowód tego faktu nie został opublikowany. Da się odnaleźć jednak takie dowody w Internecie -- autorstwa J. Stepransa i M. Goldsterna. Te dowody pokażę, dodając do nich wprowadzenie dla nieobeznanych z tematem i pokazując pojedyncze powiązane z tym aspekty.