De 29/09/2014 hasta 02/10/2014
The second edition of the conference series Proof Theory, Modal Logic and Reflection Principles (formerly Proof Theory and Modal Logic) will be held in Mexico City from September 29th to October 2nd 2014, following the first installment in Barcelona in 2012.
A recent approach to proof theory uses techniques from 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
+ Proof-theory of arithmetic and analysis
+ Ordinal analysis
+ Point-set topology
+ Set theory
+ Model theory
More information about the wormshop can be found here: second_international_wormshop.pdf