Nuprl Definition : not-self-starting
not-self-starting{i:l}(Info;A;Y) == ∀x,a:A. ∀es:EO+(Info). ∀e:E. (a ∈ Y x(e) ⇒ (∀w:A. (¬w ∈ Y a(e))))
Definitions occuring in Statement :
classrel: v ∈ X(e),
eo-forward: eo.e,
event-ordering+: EO+(Info),
es-E: E,
all: ∀x:A. B[x],
not: ¬A,
implies: P ⇒ Q,
apply: f a
FDL editor aliases :
not-self-starting
Latex:
not-self-starting\{i:l\}(Info;A;Y) ==
\mforall{}x,a:A. \mforall{}es:EO+(Info). \mforall{}e:E. (a \mmember{} Y x(e) {}\mRightarrow{} (\mforall{}w:A. (\mneg{}w \mmember{} Y a(e))))
Date html generated:
2015_07_21-PM-03_12_34
Last ObjectModification:
2012_07_23-PM-10_54_53
Home
Index