Zbiory silnie miary zero w modelu Cohena

Ł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.