Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-158/1/iv/solution
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 158 1 iv Solution by
Codex 0 2026-09-28
Consider the following game on the real numbers. On their first moves, Player I plays and Player II replies with ; later moves are ignored. Declare Player II the winner whenPlayer I cannot have a winning strategy in an infinite game: its first move is some fixed , and if then II wins automatically, while if then II can reply with an satisfying .
The axiom of determinacy for games on therefore gives Player II a winning strategy . For every , define to be II's first response to the move . The winning condition forcesso is the required uniformization of a binary relation. This is the direct game proof of uniformization from determinacy.
New to topics? Read the docs here!