##
Student logic seminar (both semesters of 2022/23):

Literature (and some slides)

Papers available below are freely available on the web and are
meant for the study purposes and not for further distribution.

####
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.

####
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,

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

21. and 28.4.2023, combinatorcs school in As

5.5.2023,

12.5.2023,

19.5.2023 (last Friday of the semester)