Aims and Scope
A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert’s programme.
This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations. Topics include, but are not limited, to:
- Turing-Feferman progressions
- Provability logics and algebras
- Weak fragments of modal logics
- Proof-theory of arithmetic and analysis
- Ordinal analysis
- Point-set topology
- Set theory
- Model theory
