Nuprl Definition : MMTree
MMTree(T) == {p:MMTreeco(T)| (MMTreeco_size(p))↓}
Definitions occuring in Statement :
MMTreeco_size: MMTreeco_size(p),
MMTreeco: MMTreeco(T),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
MMTree
Latex:
MMTree(T) == \{p:MMTreeco(T)| (MMTreeco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_16-AM-08_54_31
Last ObjectModification:
2014_05_06-PM-02_42_32
Theory : C-semantics
Home
Index