Registry · Proposition
IV.P168
tau-effective
formalized
IV.P168 — Readout Properties
The readout functor R_mu satisfies: (a) order preservation -- the power hierarchy is maintained at every energy scale, (b) complement preservation -- kappa(A) + kappa(D) = 1 is preserved through readout, and (c) fixed-point property at the natural scale where alpha_X equals kappa(X).
Book IV
Part 2
Ch. 14