Nuprl Definition : mk-Game
{L | R} ==  {mkGame(L[i] with i:ℕ||L|| | R[j] with j:ℕ||R||}
Definitions occuring in Statement : 
mkGame: {mkGame(f[a] with a:L | g[b] with b:R}
, 
select: L[n]
, 
length: ||as||
, 
int_seg: {i..j-}
, 
natural_number: $n
Definitions occuring in definition : 
mkGame: {mkGame(f[a] with a:L | g[b] with b:R}
, 
int_seg: {i..j-}
, 
natural_number: $n
, 
length: ||as||
, 
select: L[n]
FDL editor aliases : 
mk-Game
Latex:
\{L  |  R\}  ==    \{mkGame(L[i]  with  i:\mBbbN{}||L||  |  R[j]  with  j:\mBbbN{}||R||\}
Date html generated:
2018_05_22-PM-09_52_46
Last ObjectModification:
2018_02_14-PM-09_47_36
Theory : Numbers!and!Games
Home
Index