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
Latex:
consensus-event(V;A) == Unit + V + (\{b:Id| (b \mmember{} A)\} \mtimes{} i:\mBbbN{} \mtimes{} (\mBbbN{}i \mtimes{} V?))
Date html generated:
2016_05_16-PM-00_26_46
Last ObjectModification:
2012_02_25-AM-11_46_53
Theory : event-ordering
Home
Index