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