Nuprl Definition : Wselect

Wselect(w;s) == W-select(w;s)

Definitions occuring in Statement : W-select: W-select(w;s)
Definitions occuring in definition : W-select: W-select(w;s)
FDL editor aliases : Wselect

Latex:
Wselect(w;s) == W-select(w;s) Date html generated: 2016_05_15-PM-10_07_03 Last ObjectModification: 2015_09_23-AM-08_22_19 Theory : bar!induction Home Index