Nuprl Definition : causal-class-relation

for every in there is an
earlier event  with info=b such that
R[a; b] ==
  ∀e:E. ∀a:A.  (a ∈ X(e)  (↓∃e':E. ((e' < e) ∧ R[a; info(e')])))

Definitions occuring in Statement :  classrel: v ∈ X(e) es-info: info(e) es-causl: (e < e') es-E: E all: x:A. B[x] exists: x:A. B[x] squash: T implies:  Q and: P ∧ Q
FDL editor aliases :  causal-class-relation
for  every  a  in  X  there  is  an
earlier  event    with  info=b  such  that
R[a;  b]  ==
    \mforall{}e:E.  \mforall{}a:A.    (a  \mmember{}  X(e)  {}\mRightarrow{}  (\mdownarrow{}\mexists{}e':E.  ((e'  <  e)  \mwedge{}  R[a;  info(e')])))

Date html generated: 2015_07_17-PM-00_17_19
Last ObjectModification: 2014_08_15-PM-05_15_33

Home Index