2013年01月18日のツイート
@kururu_goedel: @kururu_goedel @patho_logic この書き方じゃ誰にもわからないな。私のvarious club guessingがどうのとかいうプレプリント参照。
@kururu_goedel: @patho_logic Shelahが、2-completely properかつ任意の実数を付け加えない強制拡大上でproperな強制法のiterationは実数を付け加えないことを証明しているので、ほとんどの弱いclub guessingはCHと共存可能。
2013-01-18 20:41:42 via TweetDeck to @patho_logic
@kururu_goedel: @patho_logic 私の知る限りでは、連続体仮説を仮定したときの弱いclub guessingはほとんど独立ということで決着がついています。唯一ヤバイのがMeasuringで、これは10年来の課題。
2013-01-18 20:35:10 via TweetDeck to @patho_logic
@kururu_goedel: @mr_konn きのこしたんですか?
2013-01-18 00:07:14 via TweetDeck to @mr_konn