Logic Seminar

Jindrich ZapletalUniversity of Florida
An outline of geometric set theory

Friday, September 11, 2020 - 3:00pm
Zoom meeting 931 1107 7941

With Paul Larson, we found a very flexible way of producing many independence results in choiceless set theory ZF+DC. Unlike the methods used in the 1970's, we use generic extensions of the Solovay model obtained with definable forcing. The independence results are then achieved via a novel type of amalgamation of conditions in the forcing, close to model-theoretic amalgamation. I will provide a basic introduction to the amalgamation problems encountered, with numerous examples and several independence results.