Nuprl Definition : wfd-subtrees

wfd-subtrees(w) ==  outr(w)


Definitions occuring in Statement :  outr: outr(x)
Definitions occuring in definition :  outr: outr(x)
FDL editor aliases :  wfd-subtrees
Latex:
wfd-subtrees(w)  ==    outr(w)


Date html generated: 2016_05_15-PM-10_06_04
Last ObjectModification: 2015_09_23-AM-08_22_14

Theory : bar!induction


Home Index