Manuscript IX-E@1 · IX-E.tex · bibliography · 8f8d5e7f
References
Conclusion · lines 1219–1248
FR
K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory, arXiv:1208.1428 [math-ph], 2012. Used for the distinction between regular time-ordering formulas and renormalized extensions; not invoked as an existence theorem for the sharp sector.
BF
R. Brunetti and K. Fredenhagen, Microlocal analysis and interacting quantum field theories: Renormalization on physical backgrounds, Communications in Mathematical Physics 208 (2000), 623–661; arXiv:math-ph/9903028. Used only for extension principles under their stated scaling-degree and microlocal hypotheses.
Internal
Internal prerequisite statements: IX-A, IX-Free-2, and IX-D, as quoted in the supplied IX-E specification. The full source manuscripts, the individual wording of C-I1–C-I9, the locked formula for , and a nonzero old time-ordered comparison map were not supplied. Statements imported from these prerequisites are identified as premises rather than reconstructed proofs.