Registry · Theorem
V.T33
tau-effective
formalized
V.T33 — Existence
For every truncation-coherent matter character T^mat_omega in H_partial[omega], there exists a boundary character chi satisfying the tau-Einstein identity G_omega(chi) = kappa_tau * T^mat_omega(chi). Existence is proved via the NF iteration as an inverse limit.
Book V
Part 2
Ch. 15