Uniformization from determinacy

ID: uniformization-from-determinacy

Under , every relation has a uniformization. Let the first moves of Players I and II be and , and let II win when is outside the projection of or . Player I cannot have a winning strategy, so the first response of a winning strategy for II uniformizes .

New to topics? Read the docs here!