@kururu_goedel: MMのモデルをスタンダードに構成したところで、そういう空間があることを仮定すると、それに関連した飽和イデアルができそうな気がしてきたのだけれども、この後どうしようねぇ。2011-08-12 23:07:45 via Seesmic @kururu_goedel: MA+?CHで…