5 projects found matching your search criteria :
Structural complexity measures for foundational theories
Call: WEAVE-UNISONO , Panel: HS1
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
Meta-theoretical and inter-theoretical reductions in foundations of mathematics
Call: OPUS 27 , Panel: HS1
Principal investigator: Maciej Głowacki
Uniwersytet Warszawski
Logical and epistemological criteria of salience in the foundations of mathematics
Call: SONATA BIS 12 , Panel: HS1
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski, Wydział Filozofii
Mathematicized Scientific Theories and The Foundations of Applied Mathematics
Call: OPUS 20 , Panel: HS1
Principal investigator: dr Jeffrey John Ketland
Uniwersytet Warszawski, Wydział Filozofii
Model-theoretic methods in logic and the foundations of mathematics and science
Call: OPUS 15 , Panel: HS1
Principal investigator: dr Jeffrey Ketland
Uniwersytet Warszawski, Wydział Filozofii