Nuprl Definition : pv11_p1_valid-proposals
pv11_p1_valid-proposals(Cmd;es;e;L;f) == (∀p∈L.pv11_p1_valid-proposal(Cmd;es;e;p;f))
Definitions occuring in Statement :
pv11_p1_valid-proposal: pv11_p1_valid-proposal(Cmd;es;e;p;f),
l_all: (∀x∈L.P[x])
FDL editor aliases :
pv11_p1_valid-proposals
Latex:
pv11\_p1\_valid-proposals(Cmd;es;e;L;f) == (\mforall{}p\mmember{}L.pv11\_p1\_valid-proposal(Cmd;es;e;p;f))
Date html generated:
2016_05_17-PM-04_10_08
Last ObjectModification:
2013_12_18-PM-06_17_56
Theory : paxos!synod
Home
Index