Nuprl Definition : cs-archived
by state s, a archived v in inning i ==  (i ∈ fpf-domain(Estimate(s;a))) ∧ (Estimate(s;a)(i) = v ∈ V)
Definitions occuring in Statement : 
cs-estimate: Estimate(s;a)
, 
fpf-ap: f(x)
, 
fpf-domain: fpf-domain(f)
, 
int-deq: IntDeq
, 
l_member: (x ∈ l)
, 
and: P ∧ Q
, 
int: ℤ
, 
equal: s = t ∈ T
FDL editor aliases : 
cs-archived
by  state  s,  a  archived  v  in  inning  i  ==    (i  \mmember{}  fpf-domain(Estimate(s;a)))  \mwedge{}  (Estimate(s;a)(i)  =  v)
Date html generated:
2015_07_17-AM-11_27_10
Last ObjectModification:
2012_02_25-AM-11_42_44
Home
Index