Nuprl Definition : MultiTree
MultiTree(T) == {p:MultiTreeco(T)| (MultiTreeco_size(p))↓}
Definitions occuring in Statement :
MultiTreeco_size: MultiTreeco_size(p),
MultiTreeco: MultiTreeco(T),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
MultiTree
MultiTree(T) == \{p:MultiTreeco(T)| (MultiTreeco\_size(p))\mdownarrow{}\}
Date html generated:
2015_07_17-AM-07_45_42
Last ObjectModification:
2014_06_10-PM-03_29_51
Home
Index