Nuprl Definition : event_ordering
EO == {r:eo_record{i:l}()| eo_axioms(r)}
Definitions occuring in Statement :
eo_axioms: eo_axioms(r),
eo_record: eo_record{i:l}(),
set: {x:A| B[x]}
FDL editor aliases :
EO
event_ordering
EO == \{r:eo\_record\{i:l\}()| eo\_axioms(r)\}
Date html generated:
2015_07_17-AM-08_33_53
Last ObjectModification:
2014_02_20-PM-09_42_31
Home
Index