Manuscript En08-B@1 · En08-B.tex · section · 23cac52a
What is uniquely selected here
Limit selection and comparison boundaries › What is uniquely selected here · lines 1441–1448
Let be the smallest arrival time of any admissible finite protocol implementing at . This minimum exists: coordinate steps provide a finite route, and the possible times are nonnegative integer multiples of .