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),
l_member: (x ∈ l),
int-deq: IntDeq,
and: P ∧ Q,
int: ℤ,
equal: s = t ∈ T
FDL editor aliases :
cs-archived
Latex:
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:
2016_05_16-AM-11_57_42
Last ObjectModification:
2012_02_25-AM-11_42_44
Theory : event-ordering
Home
Index