Projects search

• Keywords: nonstandard models ×

Change search criteria ↓

Search results

5 projects found matching your search criteria:

1. 1. Formal theories of truth and nonstandard models of arithmetic

   Principal investigator: Michał Tomasz Godziszewski

   Uniwersytet Warszawski, Wydział Filozofii i Socjologii

   Call: PRELUDIUM 7, Panel: HS1

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

   Principal investigator: prof. Janusz Ludwik Gluza

   UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

   Call: OPUS 6, Panel: ST2

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

   Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 25, Panel: ST1

4. 4. Mathematical analysis of hydrodynamic models - nonlinearities, non-locality, domain, scales

   Principal investigator: dr hab. Aneta Wróblewska-Kamińska

   Instytut Matematyczny Polskiej Akademii Nauk

   Call: SONATA BIS 10, Panel: ST1

5. 5. Structural complexity measures for foundational theories

   Principal investigator: dr Mateusz Zbigniew Łełyk

   Uniwersytet Warszawski

   Call: WEAVE-UNISONO, Panel: HS1