Registry · Definition
III.D85
tau-effective
formalized
III.D85 — Self-Referential Fixed Point
E₃ predicate at stage k: triple-reduce stability and squaring compatibility. c* satisfies E₃ iff reduce³(c*) = reduce(c*) AND reduce(c*²) = (reduce(c*))². All elements satisfy E₃ at finite stages (density = 100%).
Book III
Part 10
Ch. 72