Nuprl Definition : possible-event

PossibleEvent(poss) ==  es:EO × E × (poss es)


Definitions occuring in Statement :  es-E: E,  event_ordering: EO,  apply: f a,  product: x:A × B[x]
FDL editor aliases :  possible-event possible-event
Latex:
PossibleEvent(poss)  ==    es:EO  \mtimes{}  E  \mtimes{}  (poss  es)


Date html generated: 2016_05_16-AM-09_51_32
Last ObjectModification: 2013_03_25-PM-01_51_07

Theory : new!event-ordering


Home Index