物理学 › 構成的場の理論と Euclid 手法 › φ⁴₃ と確率量子化有料章
動的 φ⁴₃ 模型の不変測度の存在
閉包の状態
△ 証明あり（閉包未完）
証明は Rikai にありますが、たどった先に主張のみの定理（または循環）があり、公理まではつながっていません。止めている前提:
- 動的 φ⁴₃ 模型の大域解と無限遠からの下降（Mourrat–Weber）※定理 6.2・φ⁴₃ と確率量子化
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 2 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 動的 φ⁴₃ 模型の大域解と無限遠からの下降（Mourrat–Weber）※定理 6.2・φ⁴₃ と確率量子化
- Krylov–Bogoliubov の定理✓命題 6.4・φ⁴₃ と確率量子化
これを使っている定理
証明で明示的に参照している定理は、まだありません。