かがみさんの日記 - Scottの定理・可測基数とL かがみさんの日記 - 弱コンパクト基数がいっぱい見たところ問題ないと思います。えーと、人任せばかりでも良くないと思うので、以下の定理を証明しておきます。 非自明な初等埋め込みj:V→Mが存在するならば、可…