2,3日前に、やけになって(?)Citeseerから数編の論文をプリントした。とりあえず、ゴールドブラット（でいいのかな、ヨミ）のこれ→http://citeseer.ist.psu.edu/goldblatt01calculus.html を読んでみよう。
このゴールドブラットさんは、algebrasに対するバーコフの定理を双対化したタイプの主張（co-Birkhoff Theorem と呼んだりする）にこだわっている人だ。このこだわり感というか一途さみたいなところにナンダカ好感をいだいてしまいます。
ところで、Citeseer (http://citeseer.ist.psu.edu/)はしょっちゅう"System busy. Try again later."と出している。Citeseerのスポンサーさん、設備の増強にもうちっと金出してくれませんかね*1。
*1:お金持ちそうなスポンサー（のスポンサー）がいるんだけど。
