Registry · Proposition
IV.P70
tau-effective
formalized
IV.P70 — No Grand Unification
No subgroup G ⊃ G_EW unifies three or more sectors. No SU(5)-type (B∪C polarity fails) or SO(10)-type (D substrate fails) grand unification exists in Category τ.
Book IV
Part 4
Ch. 33