Logic List Mailing Archive

Utrecht-Muenster Seminar WS 02/03

Utrecht-Muenster 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 Muenster (Institute for Mathematical Logic and
Foundations Research), will take place. The dates:
                    
25.10.02 (Utrecht)
                    
15.11.02 (Muenster)
                    
24.01.03 (Utrecht)
                    
14.02.03 (Muenster)

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@phil.uu.nl.