Nuprl Definition : consensus-rcv
consensus-rcv(V;A) == V + ({b:Id| (b ∈ A)} × ℕ × V)
Definitions occuring in Statement :
Id: Id,
l_member: (x ∈ l),
nat: ℕ,
set: {x:A| B[x]} ,
product: x:A × B[x],
union: left + right
FDL editor aliases :
consensus-rcv
Latex:
consensus-rcv(V;A) == V + (\{b:Id| (b \mmember{} A)\} \mtimes{} \mBbbN{} \mtimes{} V)
Date html generated:
2016_05_16-PM-00_32_20
Last ObjectModification:
2012_02_25-AM-11_48_26
Theory : event-ordering
Home
Index