Nuprl Definition : Game
Game == W(GameA{i:l}();p.GameB(p))
Definitions occuring in Statement :
GameB: GameB(p),
GameA: GameA{i:l}(),
W: W(A;a.B[a])
Definitions occuring in definition :
W: W(A;a.B[a]),
GameA: GameA{i:l}(),
GameB: GameB(p)
FDL editor aliases :
Game
Latex:
Game == W(GameA\{i:l\}();p.GameB(p))
Date html generated:
2018_05_22-PM-09_52_14
Last ObjectModification:
2018_02_14-PM-10_33_39
Theory : Numbers!and!Games
Home
Index