Nuprl Definition : consensus-state4
ConsensusState ==  {a:Id| (a ∈ A)}  ⟶ (ℤ × j:ℤ fp-> V)
Definitions occuring in Statement : 
fpf: a:A fp-> B[a]
, 
Id: Id
, 
l_member: (x ∈ l)
, 
set: {x:A| B[x]} 
, 
function: x:A ⟶ B[x]
, 
product: x:A × B[x]
, 
int: ℤ
FDL editor aliases : 
consensus-state4
Latex:
ConsensusState  ==    \{a:Id|  (a  \mmember{}  A)\}    {}\mrightarrow{}  (\mBbbZ{}  \mtimes{}  j:\mBbbZ{}  fp->  V)
Date html generated:
2016_05_16-AM-11_54_24
Last ObjectModification:
2012_02_25-AM-11_41_43
Theory : event-ordering
Home
Index