Nuprl Definition : cs-archived

by state s, archived in inning ==  (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: 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