notation 109.8 Conventions of this chapter

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on lemma 109.25 Positivity of the cone pairing ¶
  • depends_on theorem 109.26 Analyticity in the forward tube ¶
    • depends_on proposition 109.23 Uniqueness of the vacuum equals clustering ¶
    • depends_on theorem 109.28 Bargmann–Hall–Wightman; imported ¶
      • depends_on corollary 109.43 Total inversion is automatic ¶
        • depends_on theorem 109.44 Jost ¶
        • depends_on theorem 109.49 Spin and statistics ¶
      • depends_on theorem 109.49 Spin and statistics ¶ ↺
    • depends_on theorem 109.4 Haag ¶
      • depends_on corollary 109.5 The interaction picture does not exist ¶
    • depends_on theorem 109.34 Reeh–Schlieder ¶
      • depends_on corollary 109.35 No local operator annihilates the vacuum ¶
      • depends_on theorem 109.49 Spin and statistics ¶ ↺
      • depends_on theorem 109.72 Tomita–Takesaki; imported ¶
        • depends_on proposition 109.74 The vacuum is thermal in a wedge ¶
        • depends_on theorem 109.73 Bisognano–Wichmann; imported ¶