Nuprl Definition : consensus-event
consensus-event(V;A) == Unit + V + ({b:Id| (b ∈ A)} × i:ℕ × (ℕi × V?))
Definitions occuring in Statement :
Id: Id,
l_member: (x ∈ l),
int_seg: {i..j-},
nat: ℕ,
unit: Unit,
set: {x:A| B[x]} ,
product: x:A × B[x],
union: left + right,
natural_number: $n
FDL editor aliases :
consensus-event
consensus-event(V;A) == Unit + V + (\{b:Id| (b \mmember{} A)\} \mtimes{} i:\mBbbN{} \mtimes{} (\mBbbN{}i \mtimes{} V?))
Date html generated:
2015_07_17-AM-11_43_31
Last ObjectModification:
2012_02_25-AM-11_46_53
Home
Index