Zoom link:
https://huji.zoom.us/j/89366743779?pwd=n99G1S9uCOwLqhKqh376ISH8HRJZFG.1
Meeting ID: 893 6674 3779
Passcode: 965843
Title: Independence calculus for models of set theory
Abstract: I present a calculus of independence for models of ZFC set
theory parallel to independence in stable theories. It takes place in
the choiceless Solovay model of ZF, and it considerably simplifies its
study. As the main application, I develop the theory of balanced forcing
over the Solovay model and show that study of independence relations for
models of ZFC directly leads to consistency results for choiceless ZF
set theory.