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