A proof that determinacy of closed games is equivalent to the axiom of choice | Department of Mathematics

A proof that determinacy of closed games is equivalent to the axiom of choice

Event Information
Event Location: 
GAB 473
Event Date: 
Wednesday, October 7, 2015 - 3:30pm

We will introduce the formal notion of a game on a set and what it means for a game to be determined. Then we will prove using the Axiom of Choice that closed games are determined. We will then prove the converse: If closed games are determined for arbitrary sets, then the Axiom of Choice holds.