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]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
mFOLco: mFOLco(),
has-value: (a)↓,
mFOLco_size: mFOLco_size(p)
FDL editor aliases :
mFOL
Latex:
mFOL() == \{p:mFOLco()| (mFOLco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_15-PM-10_12_52
Last ObjectModification:
2015_09_23-AM-08_22_49
Theory : minimal-first-order-logic
Home
Index