Projects funded by the NCN
Classifying Derived Models of the Axiom of Determinacy
2021/03/Y/ST1/00281
Keywords:
Set Theory Axiom of Determinacy Derived Models Inner Model Theory.
Descriptors:
- ST1_001:
Panel:
ST1 - Mathematics: all areas of mathematics, pure and applied, as well as mathematical foundations of computer science, physics and statistics
Host institution :
Instytut Matematyczny Polskiej Akademii Nauk
woj.
Principal investigator (from the host institution):
Number of co-investigators in the project:
Call: WEAVE-UNISONO
Amount awarded: 935 280 PLN
Project start date (Y-m-d): 2022-07-27
Project end date (Y-m-d): 2025-07-26
Project duration:: 36 months (the same as in the proposal)
Project status: Project completed