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