Projects funded by the NCN
Logical and epistemological criteria of salience in the foundations of mathematics
2022/46/E/HS1/00452
Keywords:
categoricity solid theories tight theories axiomatic theories of truth foundations of mathematics intepretability epistemic stability
Descriptors:
- HS1_004:
- HS1_003:
- ST1_001:
Panel:
HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution :
Uniwersytet Warszawski, Wydział Filozofii
woj. mazowieckie
Principal investigator (from the host institution):
Number of co-investigators in the project: 4
Call: SONATA BIS 12 - announced on 2022-05-15
Amount awarded: 1 903 500 PLN
Project start date (Y-m-d): 2023-04-07
Project end date (Y-m-d): 2028-04-06
Project duration:: 60 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.
Information in the final report
- Publication in academic press/journals (1)
- Categoricity-like properties in the first-order realm.Authors:Ali Enayat, Mateusz ŁełykAcademic press:Journal for the Philosophy of Mathematics (rok: 2024, tom: 1, strony: 63-98), Wydawca: Firenze University PressStatus:PublishedDOI:10.36253/jpm-2934 - link to the publication