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