Nuprl Definition : formula
formula() == {p:formulaco()| (formulaco_size(p))↓}
Definitions occuring in Statement :
formulaco_size: formulaco_size(p)
,
formulaco: formulaco()
,
has-value: (a)↓
,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]}
,
formulaco: formulaco()
,
has-value: (a)↓
,
formulaco_size: formulaco_size(p)
FDL editor aliases :
formula
Latex:
formula() == \{p:formulaco()| (formulaco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_15-PM-07_01_54
Last ObjectModification:
2015_09_23-AM-08_09_02
Theory : general
Home
Index