Mita Logic Seminar "A Proof Theory Workshop (with Lecture Series by Grigori Mints)"
Mita Logic Seminar "A Proof Theory Workshop (with Lecture Series by Grigori Mints)" is to be held as follows. *Admission free, no registration required. *This event will be held in English; no interpretation provided.
Speakers and Themes:
[Wednesday, 17th March]
Grigori Mints (Stanford University) "Epsilon-Calculus and Epsilon-Substitution Method"
Naohi Eguchi (Kobe University) "On provably total number-theoretic functions of fragments of set theories"
Ryota Akiyoshi (Keio University) "Finite notations for Ωμ-rule"
Hirohiko Kushida (Keio University) "A modal logical study of the notion of Gödel sentences"
Gunnar Wilken (OIST) "Derivation Lengths Classification of Gödel's T Extending Howard's Assignment"
[Thursday, 18th March]
Grigori Mints (Stanford University) "Termination of Epsilon-Substitution Method for Arithmetic and ID1"
Toshiyasu Arai (Chiba University) "Search problems in bounded arithmetics"
Masaru Shirahata (Keio University) "Toward a categorical NCI"
Makoto Tatsuta (NII) "Non-Commutative First-Order Sequent Calculus"
Chair: Takashi Iida (Keio University)
Organized by: Open Research Centre for Logic and Formal Ontology, Keio University/ Logic and Informatics Unit, Global COE CARLS, Keio University
