Projects funded by the NCN
Structural complexity measures for foundational theories
2024/06/Y/HS1/00198
Keywords:
Scott analysis computable structure theory foundations of mathematics nonstandard models of arithmetic infinitary logic second order arithmetic
Descriptors:
- HS1_04:
- ST1_01:
Panel:
HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Principal investigator (from the host institution):
Number of co-investigators in the project:
Call: WEAVE-UNISONO
Amount awarded: 1 646 068 PLN
Project start date (Y-m-d): 2025-06-02
Project end date (Y-m-d): 2029-06-01
Project duration:: 48 months (the same as in the proposal)
Project status: Pending project