4 projects found matching your search criteria :
Formal theories of truth and nonstandard models of arithmetic
Call: PRELUDIUM 7 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 6 , Panel: ST2
Principal investigator: prof. Janusz Gluza
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Between proof theory, reverse mathematics, and the model theory of arithmetic
Call: OPUS 25 , Panel: ST1
Principal investigator: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Mathematical analysis of hydrodynamic models - nonlinearities, non-locality, domain, scales
Call: SONATA BIS 10 , Panel: ST1
Principal investigator: dr hab. Aneta Wróblewska-Kamińska
Instytut Matematyczny Polskiej Akademii Nauk