Seminar on Reckoning

Laver forcing has the the approximation property

David Chodounsky

IM CAS

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.

This is joint work with Jindrich Zapletal.