Nuprl Definition : ses-NU
PropertyNU == ∀es:EO+(Info). ∀n,e:E(New). ((New(e) = New(n) ∈ Atom1) ⇒ (e = n ∈ E))
Definitions occuring in Statement :
ses-new: New,
ses-info: Info,
es-E-interface: E(X),
eclass-val: X(e),
event-ordering+: EO+(Info),
es-E: E,
atom: Atom$n,
all: ∀x:A. B[x],
implies: P ⇒ Q,
equal: s = t ∈ T
FDL editor aliases :
ses-NU
Latex:
PropertyNU == \mforall{}es:EO+(Info). \mforall{}n,e:E(New). ((New(e) = New(n)) {}\mRightarrow{} (e = n))
Date html generated:
2015_07_23-PM-00_06_35
Last ObjectModification:
2012_08_30-PM-04_23_30
Home
Index