Registry · Definition
III.D89
tau-effective
formalized
III.D89 — Topological Translation Functor
Topo_tr maps the primorial tower filtration Z/M_1 ← Z/M_2 ← ... to a classical inverse system. Tower coherence: reduce(reduce(x, k+1), k) = reduce(x, k). Verified at bound 10, depth 3.
Book III
Part 10
Ch. 81