olehjortland 氏のついったー経由、 こちらからダウンロード可能。リストを全部掲げることはしませんが、個人的に興味があるところでは Normalization, cut-elimination, and the theory of proofs / A.M. Ungar. Vicious circles : on the mathematics of n…

金曜日にプラハに戻り、それから科学アカデミーの宿舎に滞在しています。土日はセミナーの準備をしていました。宿舎にはネットの端子があるのですが、ネット接続の設定法を誰も知らず、知っている人は「週末はずっと酔っぱらっている」とかで、月曜日にアカ…

激しい雷雨。 チェコの六月は、通常こんなに雨が降らないという話なのだが。

13:30-15:00、科学アカデミーのボルツァーノ・ホールにて(下画像は会場の風景)。 L∀上の包括原理を持つ集合論で展開される算術について、既存の結果のサーベイ、聴衆は7人。要旨は以下の通り。 Set theory: Cantor-Łukasiewicz set theory CŁ0 with the comp…

起床は6時、原稿書きの続き。11時に科学アカデミーへ。12時半頃、PやLと駅前のチェコ料理店へ行き、アヒルのローストのタマネギソースがけのダンプリング添えを食べ、ビールを飲む。次に喫茶店でベヘロフカをのみ、それから午後一のセミナーで発表。夕方はP…