Projekty finansowane przez NCN

Metateoretyczne i międzyteoretyczne redukcje w podstawach matematyki

Konkurs: OPUS 27 , panel: HS1

Kierownik: Maciej Głowacki

Uniwersytet Warszawski

Teorie prawdy i ich siła

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowania teorii zbiorów subanalitycznych i definiowalnych do nierówności wielomianowych i aproksymacji wielomianowej...

Konkurs: OPUS 9 , panel: ST1

Kierownik: dr Rafał Pierzchała

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

Konkurs: SONATA 7 , panel: ST1

Kierownik: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Definiowalna dynamika topologiczna i o-minimalność

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Grzegorz Wojciech Jagiella

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki