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
Latex:
EO == \{r:eo\_record\{i:l\}()| eo\_axioms(r)\}
Date html generated:
2016_05_16-AM-09_13_37
Last ObjectModification:
2014_02_20-PM-09_42_31
Theory : new!event-ordering
Home
Index