Poór Márk: Téglahalmazok

Előadó: Poór Márk

Cím : H. Friedman egy tétele (szorzattérben) nagy téglahalmazok
tartalmazásásának kérdésköréből

Absztrakt: Harvey Friedman egy publikálatlan eredményének szeretném elmesélni a
bizonyítását: a Cohen modellben teljesül, hogy ha egy sikbeli F_\sigma
halmaz tartalmaz nem nullmértékű téglát (szorzat alakú halmazt), akkor
tartalmaz nem nullmértékű mérhető téglát. Többek között érdekes
alkalmazása a tételnek, hogy így konzisztensen (a Cohen modellben)
minden első kategóriájú additív részcsoportja a valósaknak egyben
nullmértékű.