Logic Seminar

Justin MooreCornell University
Iterated Hechler forcing, idealized

Friday, October 14, 2022 - 2:45pm
Malott 206

In the spirit of Zapletal's "Forcing Idealized," we develop a notion of measurability associated to $n$-stage iterated Hechler forcing. This reduces the large cardinal assumptions needed for Zapletal's more general analysis. This result was established in the course of proving a descriptive set-theoretic partition statement for $(\omega^\omega)^n$ stemming from homological algebra. This is joint work with Nathaniel Bannister, Jeffrey Bergfalk, and Stevo Todorcevic.