Registry · Remark IV.R208 tau-effective not_applicable

IV.R208 — Ultrametric refinement

The temporal direction carries a natural ultrametric: two levels alpha_m and alpha_n are close if their first disagreement occurs at large k. This profinite ultrametric structure contrasts with the solenoidal metric on the spatial T^2 directions from the compact group structure.

Book IV Part 1 Ch. 3

Lean Formalization

Module: