2011年08月12日のツイート
@kururu_goedel: MMのモデルをスタンダードに構成したところで、そういう空間があることを仮定すると、それに関連した飽和イデアルができそうな気がしてきたのだけれども、この後どうしようねぇ。
@kururu_goedel: MA+?CHで非存在が言えるか、って予想を共著論文で否定したのがもう随分前。じゃあPFAではどうなる?ってのが自然な疑問なのだけれども、それがよくわからないで来ている。
@kururu_goedel: perfectly normal, non-realcompact spaceの話を久しぶりに考えている。ZFCから濃度$\aleph_1$のそういう空間を作れるかどうかが未解決。?から構成できるOstaszewski spaceがそういうのの例。
@kururu_goedel: 健康診断のための12時間絶食完了。はらへった