Nuprl Definition : simple-game
SimpleGame == Pos:Type × Pos × Pos ⟶ Pos ⟶ ℙ × (Pos ⟶ Pos ⟶ ℙ)
Definitions occuring in Statement :
prop: ℙ,
function: x:A ⟶ B[x],
product: x:A × B[x],
universe: Type
Definitions occuring in definition :
universe: Type,
product: x:A × B[x],
function: x:A ⟶ B[x],
prop: ℙ
FDL editor aliases :
simple-game
Latex:
SimpleGame == Pos:Type \mtimes{} Pos \mtimes{} Pos {}\mrightarrow{} Pos {}\mrightarrow{} \mBbbP{} \mtimes{} (Pos {}\mrightarrow{} Pos {}\mrightarrow{} \mBbbP{})
Date html generated:
2018_07_25-PM-01_30_50
Last ObjectModification:
2018_06_06-AM-10_43_49
Theory : co-recursion
Home
Index