theorem 109.30 Jost; imported
open in the book ·
parts/11-qft-standard-model/11-axiomatic-qft.tex:975
· p. 2304
Rests on
- depends_on definition 109.27 The complex Lorentz group ¶
- depends_on definition 109.29 Jost points ¶
Supports
-
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.44
Jost
¶
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 |
|---|---|---|---|---|
cites |
→ | Eine Bemerkung zum CTP-Theorem | derived | parts/11-qft-standard-model/11-axiomatic-qft.tex:977 |
cites |
→ | PCT, Spin and Statistics, and All That | derived | parts/11-qft-standard-model/11-axiomatic-qft.tex:977 |
depends_on |
→ | The complex Lorentz group | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:979 |
depends_on |
→ | Jost points | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:979 |
depends_on |
← | Total inversion is automatic | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:1324 |