Projects funded by the NCN
Meta-theoretical and inter-theoretical reductions in foundations of mathematics
2024/53/B/HS1/02173
Keywords:
Foundations of mathematics epistemology of mathematics theories of truth foundational equivalences proof-theoretic reduction feasible reducibility definability interpretability conservativity speed-up
Descriptors:
- HS1_04:
- HS1_03:
- ST1_01:
Panel:
HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution :
Uniwersytet Warszawski
woj. mazowieckie
Principal investigator (from the host institution):
Number of co-investigators in the project: 1
Call: OPUS 27 - announced on 2024-03-21
Amount awarded: 1 037 244 PLN
Project start date (Y-m-d): 2025-09-01
Project end date (Y-m-d): 2029-08-31
Project duration:: 48 months (the same as in the proposal)
Project status: Pending project
Project description
Download the project description in a pdf file
Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.