Nuprl Definition : W_sel
W_sel(w;n;s) == subgame(w;s;n)
Definitions occuring in Statement :
subgame: subgame(g;p;n)
Definitions occuring in definition :
subgame: subgame(g;p;n)
FDL editor aliases :
W_sel
W_sel
Latex:
W\_sel(w;n;s) == subgame(w;s;n)
Date html generated:
2016_05_14-PM-03_57_03
Last ObjectModification:
2015_09_22-PM-06_01_55
Theory : spread
Home
Index