ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
The second edition of the conference series 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 Dates and venue: Mexico City, September 29th to October 2nd, 2014 The workshop was held in Instituto Tecnológico Autónomo de México, situated near the center of one of the oldest and most charming neighborhoods in Mexico City.