Registry · Definition III.D48 tau-effective formalized

III.D48 — Sector Addressability

A character χ is sector-addressable in sector S if its S-projection has finite NF depth. The τ-Hodge conjecture: every σ-fixed character is sector-addressable in every primitive sector.

Book III Part 5 Ch. 41

Dependency Graph

Depends on (3)

III.D47 III.D23 III.T15

Depended on by (2)

III.D57 III.T28

Lean Formalization

Module: TauLib.BookIII.Physics.Hodge

Symbol: sector_addressability_check