Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45

The terminal constant, conditional on actual information charges

Stage 2: a quantitative terminal certificate › The terminal constant, conditional on actual information charges · lines 658–665

For $t \in N$ , write

Z_{A}^{[t]} = {x \in Λ : d_{Λ} (x, Z_{A}) \leq t}, v_{t} = 1 + 2 t (t + 1) .

Displayed formulas in this passage

unlabeled · line 661
$Z_{A}^{[t]} = {x \in Λ : d_{Λ} (x, Z_{A}) \leq t}, v_{t} = 1 + 2 t (t + 1) .$