Nuprl Definition : es-effective
es-effective(es;e) == ∃e':E. (e c≤ e' ∧ (¬(loc(e') = loc(e) ∈ Id)))
Definitions occuring in Statement :
es-causle: e c≤ e',
es-loc: loc(e),
es-E: E,
Id: Id,
exists: ∃x:A. B[x],
not: ¬A,
and: P ∧ Q,
equal: s = t ∈ T
FDL editor aliases :
es-effective
es-effective
es-effective(es;e) == \mexists{}e':E. (e c\mleq{} e' \mwedge{} (\mneg{}(loc(e') = loc(e))))
Date html generated:
2015_07_17-AM-09_04_15
Last ObjectModification:
2013_03_25-PM-01_56_26
Home
Index