The Banach-Mazur game and domain theory (Q2285062)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Banach-Mazur game and domain theory |
scientific article |
Statements
The Banach-Mazur game and domain theory (English)
0 references
16 January 2020
0 references
Let \(X\) be an arbitrary topological space. In the paper under review, the authors prove that the space \(X\) is weakly-\(\alpha\)-favorable if and only if it is F-Y countably \(\pi\)-domain representable. They also show that player \(\alpha\) has a winning strategy in the strong Choquet game \(Ch(X)\) if and only if \(X\) is F-Y countably domain representable. The authors provide an example of a space which is F-Y countably domain representable, but which is not F-Y \(\pi\)-domain representable.
0 references
Banach-Mazur game
0 references
strong Choquet game
0 references
continuous directed complete partial order
0 references
domain representable space
0 references