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