墓標

オタク思想とオタク地獄とラブコメと萌え4コマ漫画

2019-12-18から1日間の記事一覧

Magidor強制の後のSquare列のノート

こんばんはこんばんは。今日2度目の更新ですね。 ゼミでMagidor強制とSquareに関する、最近のLevine--Sinapovaのプレプリントを読んだのでMagidor強制ついでにそれのノートです。 www.dropbox.com これはいわゆるpseudo Prikry sequenceと呼ばれる分野の問題…

Namba強制の準適正性について

Mathematical Logic Advent Calendarの18日目です。Namba強制の準適正性にかんする話です。