It is necessary to activate JavaScript to navigate this site.

Grantor: Czech Science Foundation

**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:

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