@kururu_goedel: Kunenはこんなところにも業績があるのか。形式的証明もやっているそうだし。RT @rmn_w RT @MathPaper: Ken Kunen: Algebraist. URL2011-08-20 13:24:25 via TweetDeck @kururu_goedel: ω_1上のTCGをprecipitousにするやつについて質問がきた…