Nuprl Definition : mFOL

mFOL() ==  {p:mFOLco()| (mFOLco_size(p))↓



Definitions occuring in Statement :  mFOLco_size: mFOLco_size(p) mFOLco: mFOLco() has-value: (a)↓ set: {x:A| B[x]} 
FDL editor aliases :  mFOL
mFOL()  ==    \{p:mFOLco()|  (mFOLco\_size(p))\mdownarrow{}\} 



Date html generated: 2015_07_17-AM-07_53_22
Last ObjectModification: 2014_04_30-PM-01_15_48

Home Index