Graduate Logic Group: Determinacy of Borel Games (Part 2)

In this talk we will introduce the Borel hierarchy and discuss several classical determinacy results for games which lie on the lowest levels of this hierarchy. We will then begin working towards a proof of Martin's theorem on the determinacy of all Borel games, which will continue and conclude.