Registry · Definition
V.D343
tau-effective
not_formalized
V.D343 — Stability Index of omega-Germ
For an omega-germ g, the stability index n_*(g) is the minimal stage at which Norm_omega(g) stabilizes under refinement. Beyond n_*(g), the germ has reached its final normal form.