Registry · Definition
IV.D148
tau-effective
formalized
IV.D148 — Strong admissibility
An endomorphism f in S_n is strongly admissible at stage n if it preserves the eta-sector chi_minus character decomposition (SA-i), respects gap-class loops (SA-ii), and is boundary-coherent with the refinement projection (SA-iii).
Book IV
Part 5
Ch. 37