Manuscript Oai283-A@1 · Oai283-A.tex · corollary · 6fb75895
Corollary: Anchored-null obstruction
Finite futures, three-relation typing, and cone obstructions › The unchanged XXII-C carrier · lines 1302–1312 · proof included or linked
For a fixed component in the unchanged carrier, no sequence of its comparable endpoint differences can approximate an entire nonzero Lorentz-null boundary of dimension at least three.
Proof. The set of such differences is finite and hence closed. Every convergent sequence in it is eventually constant. The nonzero Lorentz-null boundary contains infinitely many points.