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
Latex:
MultiTree(T)  ==    \{p:MultiTreeco(T)|  (MultiTreeco\_size(p))\mdownarrow{}\} 


Date html generated: 2016_05_16-AM-08_52_31
Last ObjectModification: 2014_06_10-PM-03_29_51

Theory : C-semantics


Home Index