Nuprl Definition : isrcvl

isrcvl(l;k) ==  isrcv(k) ∧b lnk(k) = l


Definitions occuring in Statement :  eq_lnk: a = b,  lnk: lnk(k),  isrcv: isrcv(k),  band: p ∧b q
FDL editor aliases :  isrcvl
Latex:
isrcvl(l;k)  ==    isrcv(k)  \mwedge{}\msubb{}  lnk(k)  =  l


Date html generated: 2016_05_16-AM-10_57_47
Last ObjectModification: 2012_02_25-AM-10_53_20

Theory : event-ordering


Home Index