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