λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript VI-B@1 · VI-B-v1.tex · section · 33798723

Finite certificates and their logical limits

Finite certificates and their logical limits · lines 1384–1402

Back to manuscript

The two-representative plateau table is already an exact classical obstruction certificate:

h 0 K ξ ϕ_{1, g} [h, ϕ_{w}] 00 A_{f_{w}, g}^{(1)} (h, ϕ_{w}) 0 Δ Δ \leq - \frac{1}{2} .

This is not a radiative vector $q_{S}$ or a quantum counterterm-response matrix $N_{S}$ . Neither quantum object is evaluated here.

Displayed formulas in this passage

unlabeled · line 1388
$h 0 K ξ ϕ_{1, g} [h, ϕ_{w}] 00 A_{f_{w}, g}^{(1)} (h, ϕ_{w}) 0 Δ Δ \leq - \frac{1}{2} .$

Nearby in this section