Nuprl Definition : pDVrequest
pDVrequest(rndv2;counter) ==  inr inr inr inr inr inr inr <rndv2, counter>       
Definitions occuring in Statement : 
pair: <a, b>
, 
inr: inr x 
FDL editor aliases : 
pDVrequest
Latex:
pDVrequest(rndv2;counter)  ==    inr  inr  inr  inr  inr  inr  inr  <rndv2,  counter>             
Date html generated:
2016_05_17-AM-11_26_58
Last ObjectModification:
2012_08_30-PM-01_42_45
Theory : event-logic-applications
Home
Index