Nuprl Lemma : acceptor-state_wf
acceptor-state() 
Type
Proof not projected
Definitions occuring in Statement :
acceptor-state: acceptor-state(),
member: t T,
universe: Type
Definitions :
equal: s = t,
member: t T,
function: x:A 
B[x],
all: 
x:A. B[x],
PVList: PVList(),
Ballot_Num: Ballot_Num(),
product: x:A 
B[x],
acceptor-state: acceptor-state()
Lemmas :
Ballot_Num_wf,
PVList_wf
acceptor-state() \mmember{} Type
Date html generated:
2011_10_20-PM-11_55_33
Last ObjectModification:
2011_05_11-PM-06_43_54
Home
Index