哲学誌(1999年,p85-101)、津留竜馬はじめの方で「モデル論的」と言う言葉の意味が慣用から外れているように見え、著者の理解は大丈夫なんだろうかと疑った。しかし後半部で、前半部での曖昧さは（Hallettの議論の正確さを印象づけるために）わざと曖昧にして…

Martin-Lofがこの前の日本講演旅行で"Zermelo's Axiom of Choice 100周年"について話をしていたそうですが、その中で「membershipもintensionalでなければならない」と言ってたそうですけれど、詳細をご存じの方いたらお教え下さい。

起床は8時。外に出ると大雪。こんな雪は関西に移ってきて以来初めて。とても驚く。 通勤途中、中学生が転んでいたり、交差点で車が数台擱座していたり、市バスもバス停で止まっていたり、救急車までサイレンを鳴らしながら徐行運転だったりした。転ばないよ…