[logic-ml] 基礎論セミナー

[arai toshiyasu]

みなさま

新井です。
この度「基礎論セミナー」を
不定期で開催していくことにしました。
第1回の予定は下記にあります。
どなたでも聴講できますので
ご興味のおありの方はどうぞいらして下さい。

なお、当該 web page を現在、準備中です。

新井敏康

第1回基礎論セミナー
日時：2019年10月24日（木）13:30-15:00
場所：東京大学大学院数理科学研究科 156号室

講演者：大川裕矢（千葉大学）
title: 部分保存性に対する，Bennet の結果の一般化について
abstract::
文 $\varphi$ が理論 $T$ 上 $\Gamma$-保存的であるとは,
任意の $\Gamma$ 文 $\psi$ について,
$T + \varphi \vdash \psi$ ならば $T \vdash \psi$ が成立することをいう.
1979 年 Guaspari は複数の理論に対して,
同時に $\Gamma$-保存的であり,
各理論では証明できない文の存在に関する部分的な議論を行ったが,
その一般的な状況を解明するという問いを残していた.
この問いに対し, 1986年 Bennet は特に2つの理論に対する分析を行い,
存在条件をある程度特徴付けることに成功した.
今回木更津工業高等専門学校の倉橋太志講師との共同研究により ,
この Bennet の結果は任意有限個の理論に拡張可能であることが判明した.
本講演ではその拡張した結果を紹介する.

問合せ先：新井敏康
tosarai at ms.u-tokyo.ac.jp