Nuprl Definition : PValue
PValue() == Ballot_Num() 
Proposal()
Proof not projected
Definitions occuring in Statement :
Proposal: Proposal(),
Ballot_Num: Ballot_Num(),
product: x:A B[x]
Definitions :
product: x:A B[x],
Ballot_Num: Ballot_Num(),
Proposal: Proposal()
FDL editor aliases :
PValue
PValue() == Ballot\_Num() \mtimes{} Proposal()
Date html generated:
2011_10_20-PM-11_41_35
Last ObjectModification:
2011_05_10-PM-01_27_48
Home
Index