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

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

なんか文字を書きたい。 なんか大概ロクな事考えてないし思想も大概な人間なんだけど、 自分の考え方は大好きなのでどっかで文字に残しておきたいな〜ツイッターだとすぐに流れてしまうし。 でも何かを書こうと思ってペンを取ったわけではないから何を書けば…