Registry · Theorem
V.T46
tau-effective
formalized
V.T46 — Structural Threshold --- Forced Topology Relaxation
There exists a universal constant Lambda_tau > kappa_tau such that below threshold (T_n(x) <= Lambda_tau) the configuration admits a refinement-coherent omega-germ in ball topology, and above threshold (T_n(x) > Lambda_tau) ball topology fails and torus topology is forced.
Book V
Part 2
Ch. 18