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