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: 2019_06_20-PM-00_52_47 Last ObjectModification: 2019_01_02-PM-01_32_10 Theory : co-recursion-2 Home Index