Manuscript En08-A@1 · En08-A.tex · proposition · c688d76d

Proposition

Countermodels to cone selection › A degenerate through-source slice condition · lines 871–883 · proof included or linked

En08-A@1#prop:sliceball

Back to manuscript

If an antichain contains , every directed path starting at meets only at . Thus requiring such a path to meet within distance of does not distinguish one-step targets from later reachable targets.

Proof. Every subsequent path vertex is strictly above , so cannot belong to the antichain. The initial meeting has distance zero.

Nearby in this section