2 projects found matching your search criteria :
Meta-theoretical and inter-theoretical reductions in foundations of mathematics
Call: OPUS 27 , Panel: HS1
Principal investigator: Maciej Głowacki
Uniwersytet Warszawski
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