Nuprl Definition : es-prior-interval-vals
X(e1, e2) == mapfilter(λe.X(e);λe.e ∈b X;(e1, e2))
Definitions occuring in Statement :
eclass-val: X(e),
in-eclass: e ∈b X,
es-open-interval: (e, e'),
mapfilter: mapfilter(f;P;L),
lambda: λx.A[x]
FDL editor aliases :
es-prior-interval-vals
X(e1, e2) == mapfilter(\mlambda{}e.X(e);\mlambda{}e.e \mmember{}\msubb{} X;(e1, e2))
Date html generated:
2015_07_17-PM-01_05_04
Last ObjectModification:
2012_02_25-PM-01_36_04
Home
Index