Nuprl Definition : SM-replica
SM-replica(R;M) == 
bs.
L
bs.bag-map(r.sm-response-msg(R;r);L) o M
Proof not projected
Definitions occuring in Statement :
sm-response-msg: sm-response-msg(R;r),
eclass-compose1: f o X,
lambda: x.A[x],
bag-combine: xbs.f[x],
bag-map: bag-map(f;bs)
Definitions :
eclass-compose1: f o X,
bag-combine: xbs.f[x],
bag-map: bag-map(f;bs),
lambda: x.A[x],
sm-response-msg: sm-response-msg(R;r)
FDL editor aliases :
SM-replica
SM-replica(R;M) == \mlambda{}bs.\mcup{}L\mmember{}bs.bag-map(\mlambda{}r.sm-response-msg(R;r);L) o M
Date html generated:
2011_10_20-PM-04_10_52
Last ObjectModification:
2011_01_25-PM-04_14_30
Home
Index