Nuprl Definition : idlnk-deq
IdLnkDeq == product-deq(Id;Id × Id;IdDeq;product-deq(Id;Id;IdDeq;IdDeq))
Definitions occuring in Statement :
id-deq: IdDeq,
Id: Id,
product-deq: product-deq(A;B;a;b),
product: x:A × B[x]
FDL editor aliases :
idlnk-deq
Latex:
IdLnkDeq == product-deq(Id;Id \mtimes{} Id;IdDeq;product-deq(Id;Id;IdDeq;IdDeq))
Date html generated:
2016_05_16-AM-10_57_30
Last ObjectModification:
2012_02_25-AM-10_53_17
Theory : event-ordering
Home
Index