Nuprl Definition : win2

A winning strategy for player two in game g is a (very dependent) function
that uniformly for all n, allows player two to respond to n moves
by player one.⋅

win2(g) == ∀[n:ℕ]. win2strat(g;n)

Definitions occuring in Statement : win2strat: win2strat(g;n), nat: ℕ, uall: ∀[x:A]. B[x]
Definitions occuring in definition : uall: ∀[x:A]. B[x], nat: ℕ, win2strat: win2strat(g;n)
FDL editor aliases : win2

Latex:
win2(g) == \mforall{}[n:\mBbbN{}]. win2strat(g;n) Date html generated: 2018_07_25-PM-01_33_36 Last ObjectModification: 2018_07_11-PM-10_59_29 Theory : co-recursion Home Index