Manuscript En08-A@1 · En08-A.tex · proposition · c688d76d
Proposition: Same-ray indivisibility is not horismos
Chronology, horismos, and operational sharpness › Attainability and robust propagation · lines 1149–1159 · proof included or linked
En08-A@1#prop:raytest
In a faithful continuum realization of a cone order, every nonzero reachable displacement has reachable displacements for every . This includes boundary displacements.
Proof. Cone scaling gives , and continuum faithfulness supplies the corresponding events and protocols.