Nuprl Definition : Game-minus
-(G) == {mkGame(-(right-move(G;i)) with i:right-indices(G) | -(left-move(G;i)) with i:left-indices(G)}
Definitions occuring in Statement :
mkGame: {mkGame(f[a] with a:L | g[b] with b:R},
right-move: right-move(g;x),
left-move: left-move(g;x),
right-indices: right-indices(g),
left-indices: left-indices(g)
Definitions occuring in definition :
mkGame: {mkGame(f[a] with a:L | g[b] with b:R},
right-indices: right-indices(g),
left-indices: left-indices(g),
right-move: right-move(g;x),
left-move: left-move(g;x)
FDL editor aliases :
Game-minus
Latex:
-(G) ==
\{mkGame(-(right-move(G;i)) with i:right-indices(G) | -(left-move(G;i)) with i:left-indices(G)\}
Date html generated:
2018_05_22-PM-09_52_51
Last ObjectModification:
2018_02_14-PM-09_56_19
Theory : Numbers!and!Games
Home
Index