Projekt základního výzkumu v matematické logice a teoretické informatice. Soustredíme se na omezenou aritmetiku a dukazovou složitost, teorii množin, teorii výpocetní složitosti a teorii algoritmu. Témata výzkumu sahají od oblastí základu matematiky až po algoritmické problémy motivované aplikovaným výzkumem. Výsledky projektu budou publikovány v kvalitních
zahranicních casopisech a sbornících predních výberových konferencí v oboru.
Institute of Mathematics AS CR