Nuprl Definition : ses-thread-loc
loc(thr)= A == ∀e:Act. (e ∈ thr ⇒ (loc(e) = A ∈ Id))
Definitions occuring in Statement :
ses-thread-member: e ∈ thr,
ses-act: Act,
es-loc: loc(e),
Id: Id,
all: ∀x:A. B[x],
implies: P ⇒ Q,
equal: s = t ∈ T
FDL editor aliases :
ses-thread-loc
Latex:
loc(thr)= A == \mforall{}e:Act. (e \mmember{} thr {}\mRightarrow{} (loc(e) = A))
Date html generated:
2015_07_23-PM-00_10_04
Last ObjectModification:
2012_08_30-PM-04_28_04
Home
Index