You are not logged in |
Martin’s proof of Borel determinacy
- Speaker(s)
- Hugo Gimbert
- Affiliation
- CNRS, LaBRI, Université de Bordeaux
- Date
- Jan. 25, 2023, 2:15 p.m.
- Room
- room 5050
- Seminar
- Seminar Automata Theory
Donald Martin established Borel determinacy in 1975: in every Gale-Stewart game with a Borel winning condition, either player I or player II has a winning strategy.
We present Martin’s proof under a different perspective (bottom-up instead of top-down), in the special case where the winning condition belongs to the finite Borel hierarchy.
