Registry · Remark V.R287 tau-effective formalized

V.R287 — No hierarchy among programmes

The analysis does not rank the six orthodox programmes. Each captures a different projection of H_partial[omega]. The projections are complementary, not hierarchical. What is hierarchical is the relationship between projections and the full algebra: every projection is contained in H_partial[omega], and H_partial[omega] is contained in no projection.

Book V Part 7 Ch. 64

Lean Formalization

Module: TauLib.BookV.Orthodox.OtherApproaches

Symbol: Tau.BookV.Orthodox.NoHierarchyAmongProgrammes