Manuscript En08-A@1 · En08-A.tex · proposition · c688d76d
Proposition: No continuum identification for a past-finite model
Reachability sums and affine cone representations › Discrete samples versus completed cone orders · lines 999–1008 · proof included or linked
En08-A@1#prop:pastfinite
A nontrivial proper cone order on all of cannot be identified bijectively with a past-finite event order.
Proof. Choose . The distinct points , , all precede . Thus its principal past is infinite.