ずっと書く書く言っていてやってない強制法のいい加減な導入ですが、まだ当分書けないと思います(ダメ過ぎ)。ちょっと眠れないので一点だけ。っていうか、わかる必要なんて無いんですよ、強制法がどう正当化されるかなんて。sinの微分がcosになることを証明…

典型的な応用例として、descriptive set theoryのergodic theoryへの応用やら、I.FarahのC^*-algebraの話やら、Pestovの代数幾何？の話やらがあるわけですな。あ、もちろんgeneral topologyも。このあたりで巨大基数が絡めばいろいろ変わるかもなぁ、とか。

えーと、Twitter / t33f: 集合論って結局何がしたいのか根本的なところまで理解できてない ...に後でツッコミを入れると言ったやつなのですが(反応まで4ヶ月は私の場合標準)。よく考えてみると、私の考えが他の集合論者に共有されているわけでもないので、以…