Nuprl Definition : consensus-rel-knowledge
consensus-rel-knowledge(V;A;W;x;y) ==
∃a:{a:Id| (a ∈ A)} . consensus-rel-knowledge-step(V;A;W;fst(x);snd(x);fst(y);snd(y);a)
Definitions occuring in Statement :
consensus-rel-knowledge-step: consensus-rel-knowledge-step(V;A;W;x1;x2;y1;y2;a)
,
Id: Id
,
l_member: (x ∈ l)
,
pi1: fst(t)
,
pi2: snd(t)
,
exists: ∃x:A. B[x]
,
set: {x:A| B[x]}
FDL editor aliases :
consensus-rel-knowledge
consensus-rel-knowledge(V;A;W;x;y) ==
\mexists{}a:\{a:Id| (a \mmember{} A)\} . consensus-rel-knowledge-step(V;A;W;fst(x);snd(x);fst(y);snd(y);a)
Date html generated:
2015_07_17-AM-11_40_51
Last ObjectModification:
2012_02_25-AM-11_46_30
Home
Index