Nuprl Definition : qv-constrained
qv-constrained(S;p) == (∀lf∈S.qv-lower(lf;p))
Definitions occuring in Statement :
qv-lower: qv-lower(lf;p),
l_all: (∀x∈L.P[x])
Definitions occuring in definition :
l_all: (∀x∈L.P[x]),
qv-lower: qv-lower(lf;p)
FDL editor aliases :
qv-constrained
Latex:
qv-constrained(S;p) == (\mforall{}lf\mmember{}S.qv-lower(lf;p))
Date html generated:
2016_05_15-PM-11_22_22
Last ObjectModification:
2015_09_23-AM-08_29_08
Theory : rationals
Home
Index