5 projects found matching your search criteria :
Formal theories of truth and nonstandard models of arithmetic
Call: PRELUDIUM 7 , Panel: HS1
Principal investigator: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 28 , Panel: HS6
Principal investigator: dr hab. Mateusz Hohol
Uniwersytet Jagielloński
Structural complexity measures for foundational theories
Call: WEAVE-UNISONO , Panel: HS1
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic
Call: OPUS 25 , Panel: HS1
Principal investigator: dr Michał Tomasz Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Cognitive mechanisms of numeral reference
Call: OPUS 1 , Panel: HS1
Principal investigator: dr hab. Wojciech Sławomir Krysztofiak
Uniwersytet Szczeciński, Wydział Humanistyczny