Nuprl Definition : causal-predecessor

causal-predecessor(es;p) ==  ∀e:E. ((↑can-apply(p;e)) ⇒ (do-apply(p;e) < e))


Definitions occuring in Statement :  es-causl: (e < e'),  es-E: E,  assert: ↑b,  all: ∀x:A. B[x],  implies: P ⇒ Q,  do-apply: do-apply(f;x),  can-apply: can-apply(f;x)
FDL editor aliases :  causal-predecessor causal-predecessor
Latex:
causal-predecessor(es;p)  ==    \mforall{}e:E.  ((\muparrow{}can-apply(p;e))  {}\mRightarrow{}  (do-apply(p;e)  <  e))


Date html generated: 2016_05_16-AM-10_28_20
Last ObjectModification: 2013_03_25-PM-01_57_43

Theory : new!event-ordering


Home Index