Registry · Lemma
V.L6
tau-effective
not_formalized
V.L6 — k* Selection Rule
For each BH linking class l, there exists a canonical refinement depth k*(l) = min{n | N_n(x_l) subset N_BH}, the minimal depth at which the NF-prefix cylinder first fits inside the canonical BH neighborhood.
Book V
Part 6
Ch. 50