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