Nuprl Definition : pDVselex

pDVselex(rndv1) ==  inr inr inr inr inr inr (inl rndv1)      


Definitions occuring in Statement :  inr: inr x ,  inl: inl x
FDL editor aliases :  pDVselex
Latex:
pDVselex(rndv1)  ==    inr  inr  inr  inr  inr  inr  (inl  rndv1)           


Date html generated: 2016_05_17-AM-11_26_51
Last ObjectModification: 2012_08_30-PM-01_42_40

Theory : event-logic-applications


Home Index