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: 2015_07_23-AM-11_34_47
Last ObjectModification: 2012_08_30-PM-01_42_45

Home Index