Registry · Definition III.D53 tau-effective formalized

III.D53 — Interface Width

w(f, n) = number of primorial stages needed before computation f stabilizes at input size n. W(f) = sup_n w(f, n). Measures computational depth in the primorial tower.

Book III Part 9 Ch. 56

Dependency Graph

Depends on (3)

III.D51 III.T30 III.T09

Depended on by (2)

III.D54 III.T31

Lean Formalization

Module: TauLib.BookIII.Computation.Admissibility

Symbol: interface_width_check