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

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.StructuralThresholdForcedTopologyRelaxation