Registry · Proposition
III.P15
tau-effective
formalized
III.P15 — 3-Condition Sufficiency
The three conditions (clopen locality + ω-germ determinacy + defect contractivity) are individually necessary and jointly sufficient for positive regularity. Removing any one permits non-stabilizing ω-germs.
Book III
Part 5
Ch. 37