Nuprl Definition : has-src

has-src(i;k) ==  isrcv(k) ∧b source(lnk(k)) = i


Definitions occuring in Statement :  lsrc: source(l),  lnk: lnk(k),  isrcv: isrcv(k),  eq_id: a = b,  band: p ∧b q
FDL editor aliases :  has-src
Latex:
has-src(i;k)  ==    isrcv(k)  \mwedge{}\msubb{}  source(lnk(k))  =  i


Date html generated: 2016_05_16-AM-10_59_51
Last ObjectModification: 2012_02_25-AM-10_53_45

Theory : event-ordering


Home Index