Projects funded by the NCN

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Does the language of economics limit its explanatory power? Analyzing the impact of unrealistic assumptions, mathematica...

Call: SONATA 1 , Panel: HS4

Principal investigator: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Axiomatizations of varieties and quasivarieties

Call: SONATA 1 , Panel: ST1

Principal investigator: dr Michał Stronkowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Teoria modeli z działaniem grupy skończonej

Call: ETIUDA 4 , Panel: ST1

Principal investigator: Daniel Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Model theory and topological dynamics

Call: OPUS 10 , Panel: ST1

Principal investigator: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Correlation inequalities for point processes

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Ryszard Szekli

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Theories without the tree property of the first kind

Call: SONATA 10 , Panel: ST1

Principal investigator: dr Jan Dobrowolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Inequalities for log-concave vectors

Call: PRELUDIUM 10 , Panel: ST1

Principal investigator: Marta Strzelecka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Mechanisms of geometric cognition

Call: OPUS 10 , Panel: HS1

Principal investigator: dr Mateusz Hohol

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Modern methods in complex affine geometry.

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Karol Palka

Instytut Matematyczny Polskiej Akademii Nauk

Extremal axioms: logical, mathematical and cognitive aspects

Call: OPUS 9 , Panel: HS1

Principal investigator: prof. Jerzy Pogonowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki