Registry · Definition III.D26 tau-effective formalized

III.D26 — Split-Complex Zeta ζ_τ

The τ-native zeta function ζ_τ(s) = e₊·ζ_B(s) + e₋·ζ_C(s), encoding the Riemann zeta in split-complex coordinates via bipolar idempotents. B-lobe = exponent-dominant primes, C-lobe = tetration-dominant primes.

Book III Part 4 Ch. 22

Dependency Graph

Depends on (4)

III.D23 III.T10 III.T14 I.D27

Depended on by (6)

III.D27 III.D29 III.D31 III.T16 III.T18 III.T20

Lean Formalization

Module: TauLib.BookIII.Doors.SplitComplexZeta

Symbol: split_zeta_b