Boldface Borel Hierarchy Game Space Two Person Infinite Game of Perfect Information Game Strategy Winning Game Strategy Determined Gale-Stewart Theorem Subgame Tree Imposed Subgame Tree Winning Subgame Tree