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.