Axiomatizing balanced forcing

Set Theory Seminar | 05.06.2025 11:30 - 13:00

J. Zapletal (U of Florida, Gainesville, US)

Almost 10 years ago, with Paul Larson we developed the method of balanced forcing for consistency results in \(\mathsf{ZF}\)+\(\mathsf{DC}\) In this talk, I will provide a novel axiomatization of the method, which is much less technical and more general. The parallels with geometric model theory become readily apparent.