みなさま

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

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

問合せ先 新井敏康（千葉大学） [email protected]

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

日時：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.

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