Registry · Remark
V.R13
tau-effective
not_applicable
V.R13 — Why ``circle''?
The term "circle" for tau^1 refers not to a smooth S^1 manifold but to two structural features: compactness (every open cover has a finite subcover, ensuring bounded physical time) and the profinite inverse-limit topology of a totally disconnected compact Hausdorff space.
Book V
Part 1
Ch. 4