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

Back to manuscript

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.

Nearby in this section