Registry · Definition
III.D42
tau-effective
formalized
III.D42 — Stabilized ω-Germ
An ω-germ f is stabilized at primorial depth k₀ if Δ(f, k) = 0 for all k ≥ k₀. Equivalently, f is determined by its value at depth k₀ and extends uniquely to all deeper levels.
Book III
Part 5
Ch. 37