2006-10-10から1日間の記事一覧

Journal of Symbolic Logic 9月号 の落丁

いえ、すごくどうでもいいことなんですが・・・。本日JSL2006年9月号が到着。お目当てのHajekの論文をめくり始めたら、MTL algebraの話のはずが途中で急にforcingの話になっていた。ページを見るとp872からp889に飛んでいる。Hajek-Cintula論文の後半とRoslanow…

起床は8時。今日も秋晴れ。朝からネットワークが不安定、ときどき接続出来なくなる。本日は某書類の作成、あとはメールを書いたり。