2012年03月21日のツイート
@kururu_goedel: @kururu_goedel いいのか?Pmaxバリエーション使う論文に共著者として名前を載せているのに。
@kururu_goedel: @patho_logic うろ覚えですが、ADは強制法で超べきの極限として作ったモデルがω_1の部分集合論を全て元としてもつことをいうのに使われています。そして、多分ここだけでしょう。詳細は知らないので、その証明のどこでかはわかりません。
2012-03-21 23:11:57 via TweetDeck to @patho_logic