{{menu|Events}} On Wednesday, April 27 2011, the KGRC will hosted an informal workshop on logic, taking advantage of the presence of the many logicians who will be in Vienna for the ''New Trends in Logic'' conference (April 28 and 29, honoring the winners of the Kurt Gödel Research Prize Fellowships). ==Program==
09:00 – 09:40 | '''Danko Ilik''' | Completeness proofs for classical, intuitionistic and one intermediate logic proving Double-negation Shift, based on forcing in Kripke-CPS models. abstract |
09:50 – 10:30 | '''Maryanthe Malliaris''' | Regularity and stable graphs |
10:50 – 11:30 | '''Matteo Viale''' | Supercompact properties of aleph_2 in models of PFA. abstract |
11:40 – 12:20 | '''Sean Walsh''' | Comparing Peano Arithmetic, Basic Law V, and Hume’s Principle. abstract |
Lunch (everyone invited) | ||
14:00 – 14:40 | '''Kentaro Fujimoto''' | Axiomatic truths for set theory and subsystems of MK |
14:50 – 15:30 | '''Giovanni Curi''' | Independence results in constructive set theory and constructive type theory |
15:50 – 16:30 | '''Andrey Bovykin''' | Unprovabilty: templates, indiscernibles and the space of all possibilities. |
16:40 – 17:20 | '''Federico Aschieri''' | Realizability, Epsilon Substitution Method and Type Theory. abstract |
17:30 – 18:10 | '''Sergei Artemov''' | First-Order Logic of Proofs. (Joint work with T. Yavorskaya.) abstract |
Workshop Dinner (everyone invited) |