Student logic seminar (both semesters of 2022/23):
Papers available below are freely available on the web and are meant for the study purposes and not for further distribution.
Literature (and some slides)
Literature:
Our main source will be two chapters by Sam Buss in Handbook of Proof Theory .
During the winter semester we shall study
Chapter 1: An Introduction to Proof Theory, pdf.
Summer semester will be devoted to selected topics from
Chapter 2: First-Order Proof Theory of Arithmetic, pdf.
This is basic material one ought to understand before looking at further topics: some of these (in the scope of classical proof theory) are listed in the content of the Handbook (see above), some are surveyed at the Stanford Encyclopedia of Philosophy.
Additional material on On Herbrand's theorem by S.Buss.
Schedule (and some slides) - winter semester
14.X.2022, M.Narusevych, slides,
21.X.2922, M.Melicher, slides,
4.XI.2022, J.Rydl, slides,
11.11.2022, O.Jezil, slides,
18.11.2022, M.Raska, slides,
25.11.2022, M.Raska, slides,
9.12.2022, Max Lin, slides,
16.12.2022, J.Rydl, slides,
6.1.2023, M.Narusevych, slides.
Schedule (and some slides) - summer semester
17.2.2023 - we start with a brief organizational meeting
24.2.2023, O.Jezil: The Midsequent theorem and some applications, slides,
3.3.2023, M.Narusevych, slides,
10.3.2023, cancelled
17.3.2023 (starts 12.3o exceptionally), J. Rydl, slides,
24.3.2023, no seminar - KA Spring school,
31.3.2023, M.Raska,
7.4.2023, no seminar - Good Friday,
14.4.2023, Max Lin, slides,
21.4.2023, combinatorics school in As
28.4.2023, J.Rydl, slides,
5.5.2023, M.Narusevych, slides,
12.5.2023, Max Lin, slides,
19.5.2023, O.Jezil.