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

Back to manuscript

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 .

Nearby in this section