equation 109.16 eq:axqft-wightman-support

Rests on

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

Supports

• 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 corollary 109.45 Locality implies $PCT$ ¶
      • depends_on theorem 109.49 Spin and statistics ¶
        • depends_on corollary 109.50 The connection between 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 ¶
        • depends_on proposition 109.74 The vacuum is thermal in a wedge ¶ ↺