Martin’s proof of Borel determinacy

Prelegent(ci)

Hugo Gimbert

Afiliacja

CNRS, LaBRI, Université de Bordeaux

Termin

25 stycznia 2023 14:15

Pokój

p. 5050

Seminarium

Seminarium „Teoria automatów”

---

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.

---