Working Group "Operations, Sets, and Types" (WGOST)

Lecture number: 422738-HS2018-0
Start: 2018-09-19
End: 2018-12-19
Venue: Hörraum B116, ExWi, Sidlerstrasse 5
Lectures take place on:
  • Wednesday from 10:15 to 12:00


In this working group we discuss a series of topics in proof theory that are closely related to actual research activities of our team. In particular, we will study (i) the relationship between explicit mathematics and category theory, (ii) systems of second order arithmetic and set theory related to the so-called arithmetic transfinite recursion, (iii) further systems at the borderline between predicative and impredicative mathematics.


This course introduces into a research area that is actively pursued in our research group. Upon successful completion of this course, the students will have a good basis for doing own research along the lines of our project. In order to obtain credits for this course, it is required to present own research results (e.g. bachelor level) related to the topics mentioned above.


Good and solid knowledge in mathematical logic and computability theory.
Learning outcome: Students learn to participate actively in ongoing research activities and to present their own contributions in a coherent way.


To be announced during the lecture.