axiom 109.14 Local commutativity

Rests on

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

Supports

• depends_on corollary 109.45 Locality implies $PCT$ ¶
• depends_on proposition 109.20 Properties of the Wightman functions ¶
  • depends_on proposition 109.79 Reflection positivity is Hilbert positivity ¶
    • depends_on proposition 109.83 Mass gap and correlation length ¶
  • 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.21 Wightman reconstruction ¶
    • 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 ¶ ↺