Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Finite histories
Legal schedules and a local record model › Finite histories · lines 461–469
Past-finiteness is stronger than finite support of one reduction. It is an explicit assumption of the countermodels.
A state records a completed down-set . An event in is enabled when all its immediate predecessors are completed.