Event Detail

Fri Apr 12, 2024
Evans 60
4–6 PM
Logic Colloquium
Martin Zeman (UC Irvine)
Games with filters, strong ideals, and iterated club shooting

In a joint work with Foreman and Magidor we establish connections between winning strategies for the “good” player in games with filters introduced by Welch, ideals with high degree of distributivity, and distributivity of Easton support iterations of club shooting forcing. Along the way we obtain a condition that guarantees sufficient distributivity of such forcing iterations, which is of independent interest.