Nuprl Definition : es-first-at

is first@ s.t.  e.P[e] ==  (loc(e) i ∈ Id) ∧ P[e] ∧ ∀e'<e.¬P[e']



Definitions occuring in Statement :  alle-lt: e<e'.P[e] es-loc: loc(e) Id: Id not: ¬A and: P ∧ Q equal: t ∈ T
FDL editor aliases :  es-first-at es-first-at

Latex:
e  is  first@  i  s.t.    e.P[e]  ==    (loc(e)  =  i)  \mwedge{}  P[e]  \mwedge{}  \mforall{}e'<e.\mneg{}P[e']



Date html generated: 2016_05_16-AM-09_48_43
Last ObjectModification: 2013_03_25-PM-01_50_40

Theory : new!event-ordering


Home Index