Registry · Definition III.D19 tau-effective formalized

III.D19 — Primorial Ladder

Primorial numbers Prim(k) = p₁·p₂·…·pₖ form an inverse system ℤ/Prim(1)ℤ ← ℤ/Prim(2)ℤ ← …. Inverse limit = profinite completion Ẑ_τ. Connection to Book I's primorial presheaf (I.D83). Canonical cofinal filtration.

Book III Part 3 Ch. 14

Dependency Graph

Depends on (1)

I.D83

Depended on by (5)

III.D21 III.R09 III.T09 III.T10 III.T67

Lean Formalization

Module: TauLib.BookIII.Spectral.PrimorialLadder

Symbol: PrimorialStage