Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

4 projects found matching your search criteria :

  1. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  2. Developing tools and its application for loop calculations and phenomenology of nonstandard models in low and high-energ...

    Call: OPUS 6 , Panel: ST2

    Principal investigator: prof. Janusz Gluza

    Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

  3. 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

  4. 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