tri_iro さんが古典解析にロジックで殴りかかって地獄を噴出させるらしいので

本文

tri_iro さんツイート.

あの辺はもともと 100 年前の古典実解析っぽい話なのに, ネガティブ方向からは Steprans 強制法, ポジティブ方向からはガンディ-ハーリントン強制法と隈部-スレイマン強制法で挟み撃ちという地獄絵図になっていて楽しい. みんなももっと古典解析にロジックで殴りかかって地獄を噴出させよう

あの辺というのはこの辺だろうか.

今日はこちらを訪問中のポールと弱いモデルで Laver 強制法が Laver property を満たさないのではないかという議論をしていた. Miller 強制法なら $L_{\omega 1 ck}$ でも Laver property を満たすのに, Laver 強制法ときたら……

何はともあれ正座待機だ.

ラベル

数学, 数理論理, 数学基礎論