Nuprl Definition : acceptor-state
acceptor-state() == Ballot_Num() 
PVList()
Proof not projected
Definitions occuring in Statement :
PVList: PVList(),
Ballot_Num: Ballot_Num(),
product: x:A B[x]
Definitions :
product: x:A B[x],
Ballot_Num: Ballot_Num(),
PVList: PVList()
FDL editor aliases :
acceptor-state
acceptor-state() == Ballot\_Num() \mtimes{} PVList()
Date html generated:
2011_10_20-PM-11_55_22
Last ObjectModification:
2011_05_11-PM-06_42_50
Home
Index