尊みで飯が食える

twitterアカウントは@mg_toHKRです。萌え4コマまんがと特異基数がテーマのブログです

2019-05-31から1日間の記事一覧

Ben-David--Magidorモデル

久々ですね。 最近話す機会があったので勉強してまとめたノートをそれっぽく公開するアレです。 Ben-David--Magidorのモデルとは上にsquareがないけど、weak squareがあるというモデルです。 特に、weak squareはsquareの存在を導出しないことがわかります。…