The Banach--Mazur game and the strong Choquet game in domain theory

Judyta Bąk, Andrzej Kucharski

We prove that a player $\alpha$ has a winning strategy in the Banach--Mazur game on a space $X$ if and only if $X$ is F-Y countably $\pi$-domain representable. We show that Choquet comple…