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.

---