Nuprl Definition : left-option
left-option{i:l}(g;m) == ∃x:left-indices(g). (m = left-move(g;x) ∈ Game)
Definitions occuring in Statement :
left-move: left-move(g;x),
left-indices: left-indices(g),
Game: Game,
exists: ∃x:A. B[x],
equal: s = t ∈ T
Definitions occuring in definition :
exists: ∃x:A. B[x],
left-indices: left-indices(g),
equal: s = t ∈ T,
Game: Game,
left-move: left-move(g;x)
FDL editor aliases :
left-option
Latex:
left-option\{i:l\}(g;m) == \mexists{}x:left-indices(g). (m = left-move(g;x))
Date html generated:
2018_05_22-PM-09_52_33
Last ObjectModification:
2018_02_14-PM-08_59_57
Theory : Numbers!and!Games
Home
Index