Institute of Mathematics

Objectives:

We study weak logical systems, guided by the question: what is the weakest natural theory in which we can prove a mathematical statement? This question is often fundamentally complexity theoretic in nature, as proofs in such weak systems can be associated with feasible computations. We will study this and related topics in a range of settings, including bounded arithmetic, model theory, algebraic complexity, bounded set theory, and nonclassical logics.

 Main investigator:

Jeřábek Emil

 IM team members:  

Folwarczný Lukáš Gryaznov Svyatoslav Hrubeš Pavel Jalali Keshavarz Raheleh

Pakhomov Fedor Part Fedor Pich Ján Thapen Neil Dillip

 Participating institutions:

Institute of Mathematics, Czech Academy of Sciences

    Mapa   |  Autor   |  Webmaster