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
consensus-rcv(V;A) == V + (\{b:Id| (b \mmember{} A)\} \mtimes{} \mBbbN{} \mtimes{} V)
Date html generated:
2015_07_17-AM-11_46_35
Last ObjectModification:
2012_02_25-AM-11_48_26
Home
Index