25 October 2002, Utrecht-Münster Seminar on Provability Algebras

In 2002/2003 a joint Compact Seminar on Provability Algebras is organized by L. Beklemishev and W. Pohlers.

Graded provability algebras (GPA) are modal algebras developed to provide an abstract algebraic approach to proof-theoretic analysis. This subject brings together traditional methods of proof theory and methods developed in provability logic. Potential aims are, for example,

• providing a technically simple and clean treatment of traditional proof-theoretic results such as consistency proofs, combinatorial independent principles, etc.
• getting insight from a new perspective into the foundational questions such as the problem of canonicity of ordinal notations.

Altogether, four sessions, alternating in Utrecht (Department of Philosophy) and in Münster (Institute for Mathematical Logic and Foundations Research), will take place. The dates:
25.10.02 (Utrecht)
15.11.02 (Münster)
24.01.03 (Utrecht)
14.02.03 (Münster)

See http://www.phil.uu.nl/~lev/papers.html (no.38) for the lecture notes of a tutorial on GPA given at Logic Colloquium 2002. Further information and program of the first 2 sessions will be sent out soon. Those interested to participate are invited to contact Lev Beklemishev at lev at phil.uu.nl.