theorem 109.4 Haag

open in the book · parts/11-qft-standard-model/11-axiomatic-qft.tex:186 · p. 2295

Rests on

depends_on equation 109.1 eq:axqft-free-wightman ¶
depends_on theorem 109.21 Wightman reconstruction ¶
- depends_on definition 109.19 Wightman functions ¶
- depends_on proposition 109.20 Properties of the Wightman functions ¶
  - depends_on axiom 109.13 Covariance ¶
  - depends_on axiom 109.12 Fields ¶
  - depends_on axiom 109.14 Local commutativity ¶
  - depends_on axiom 109.10 Spectrum condition ¶
  - depends_on axiom 109.9 Relativistic states ¶
  - depends_on axiom 109.11 Unique vacuum ¶
  - proves proof ch:11-axiomatic-qft@proof-4 ¶
- proves proof ch:11-axiomatic-qft@proof-5 ¶
depends_on theorem 109.26 Analyticity in the forward tube ¶
- depends_on equation 109.16 eq:axqft-wightman-support ¶
- depends_on lemma 109.25 Positivity of the cone pairing ¶
  - depends_on notation 109.8 Conventions of this chapter ¶
  - proves proof ch:11-axiomatic-qft@proof-7 ¶
- proves proof ch:11-axiomatic-qft@proof-8 ¶
proves proof ch:11-axiomatic-qft@proof-2 ¶

Supports

depends_on corollary 109.5 The interaction picture does not exist ¶

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	eq:axqft-free-wightman	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:202
`depends_on`	→	Wightman reconstruction	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:202
`depends_on`	→	Analyticity in the forward tube	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:202
`depends_on`	←	The interaction picture does not exist	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:276
`proves`	←	ch:11-axiomatic-qft@proof-2	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:206