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

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIII.Physics.PositiveRegularity

Symbol: stabilized_germ_check