Projects funded by the NCN

Between proof theory, reverse mathematics, and the model theory of arithmetic

Call: OPUS 25 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Structural properties of graphs and hypergraphs

Call: OPUS 24 , Panel: ST1

Principal investigator: prof. Tomasz Jan Łuczak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Descriptive set theory: structure and dynamics of Polish groups

Call: SONATA 12 , Panel: ST1

Principal investigator: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ramsey Theory on the Integres

Call: OPUS 9 , Panel: ST1

Principal investigator: prof. Jarosław Andrzej Grytczuk

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Ergodic theory and its applications in dynamics, arithmetic, and algebra

Call: SONATA BIS 2 , Panel: ST1

Principal investigator: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Analytic equivalence relations and Polish group actions

Call: SONATA 3 , Panel: ST1

Principal investigator: dr Marcin Sabok

Instytut Matematyczny Polskiej Akademii Nauk

Coloring games on graphs and partially ordered sets

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Jarosław Andrzej Grytczuk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki