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.