[logic-ml] 千葉 logic seminar

[arai toshiyasu]

みなさま

新井@千葉大学です。
千葉 logic seminar の第3回のお知らせです。

どなたでも参加できますので
どうぞ気軽にいらっしゃって下さい。

問合せ先
新井敏康（千葉大学）
tosarai at faculty.chiba-u.jp

------------------------------------------

日時：8月28日(木)14:00-15:30
場所：千葉大学理学部2号館105号室
アクセスは
http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html
の地図の黄色い理学部の中で数字2が付いている建物の1階です。

講演者：山形賴之（産総研）

タイトル：
On separation of bounded arithmetic through a consistency statement

アブストラクト:
 In this talk, we show that Buss's bounded arithmetic S22 can prove
consistency of PV-, the system obtained from Cook and Urquhart's PV by
removing induction.  Since Buss and Ignjatovic show that S12 cannot
prove the consistency of PV- enriched by propositional logic and BASIC
axioms, our result is interesting although it does not directly imply
S22 != S12.

------------------------------------------