Registry · Definition
III.D54
tau-effective
formalized
III.D54 — τ-Admissibility (E₂)
f is τ-admissible iff W(f) < ∞. τ-admissible computations need only finitely many primorial stages. The E₂ analog of the admissibility pattern from E₁ (NS fluid data, YM gauge data).
Book III
Part 9
Ch. 56