物理学 › 構成的場の理論の原論文:反射正値性・クラスター展開・自明性 › Brydges–Fröhlich–Seiler (1979) 第 1 部有料章
転送行列表示 (T)
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 3 件
- 自由境界の箱での反磁性(原論文 Corollary 2.4 を修正)✓系 5.9・Brydges–Fröhlich–Seiler (1979) 第 1 部
- 分配関数の下界(原論文 Proposition 2.7 を修正)✓命題 6.4・Brydges–Fröhlich–Seiler (1979) 第 1 部
- 真空エネルギー密度の存在と単調性(原論文 Corollary 2.9)✓系 6.14・Brydges–Fröhlich–Seiler (1979) 第 1 部