Logic in Analysis Working Seminar | Andy Zucker | Brief introduction to forcing

Andy Zucker (University of Waterloo)

Brief introduction to forcing

With an eye towards working through the recent preprint by Arulseelan and Hanson on AW*-algebras, I will give a brief introduction to set-theoretic forcing, with a focus on Boolean-valued models.

MC 5301