Nuprl Definition : da-agrees-on

da-agrees-on(da;k;T) ==  (↑k ∈ dom(da)) ⇒ T ≡ da(k)


Definitions occuring in Statement :  fpf-ap: f(x),  fpf-dom: x ∈ dom(f),  Kind-deq: KindDeq,  assert: ↑b,  ext-eq: A ≡ B,  implies: P ⇒ Q
FDL editor aliases :  da-agrees-on
Latex:
da-agrees-on(da;k;T)  ==    (\muparrow{}k  \mmember{}  dom(da))  {}\mRightarrow{}  T  \mequiv{}  da(k)


Date html generated: 2016_05_16-AM-11_42_23
Last ObjectModification: 2012_02_25-AM-11_16_05

Theory : event-ordering


Home Index