After successful completion of the course, students are able to deal with inductive calculi in arithmetic and to understand the most important principles of proof theory in arithmetic. The students will develop fundamental skills in inductive theorem proving.
Detailed analysis of the paper by J. Brotherston and Simpson ``Sequent calculi for induction and infinite descent'' and relations to stadard calculi of arithmetic.
preparation of talks together with the students. Discussion and analyis of the talks given by the students. Presentation of further scientific content by the lectures.
The kick-off meeting of this seminar will take place October 6, 2021 in the seminar room Gödel.
evaluation of the talks and participation of the students.
Substantial knowledge in predicate logic