slideshow 3

Seminar on Reckoning

Laver forcing has the the approximation property

David Chodounsky


Seminar on Reckoning
Wednesday, 1. March 2023 - 11:00 to 14:00

Institute of Mathematics CAS, Zitna 25, seminar room, 3rd floor, front building

I will prove that the Laver forcing has the ω1-approximation property. In particular, I will show that the Laver forcing is Y-proper and this implies the ω1-approximation property.
This is joint work with Jindrich Zapletal.