Projects funded by the NCN
Theories without the tree property of the first kind
2015/19/D/ST1/01174
Keywords:
Tree property of the first kind
Descriptors:
- ST1_1: Logic and foundations
Panel:
ST1 - Mathematics: all areas of mathematics, pure and applied, as well as mathematical foundations of computer science, physics and statistics
Host institution :
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Principal investigator (from the host institution):
Number of co-investigators in the project: 1
Call: SONATA 10 - announced on 2015-09-15
Amount awarded: 66 440 PLN
Project start date (Y-m-d): 2016-06-27
Project end date (Y-m-d): 2018-06-26
Project duration:: 24 months (the same as in the proposal)
Project status: Project settled
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.
Equipment purchased [PL]
- Komputer (5 000 PLN)
Information in the final report
- Publication in academic press/journals (3)
- Generic variations and NTP1Authors:Jan DobrowolskiAcademic press:Archive for Mathematical Logic (rok: 2018, tom: 57, strony: 861–871), Wydawca: SpringerStatus:PublishedDOI:10.1007/s00153-018-0609-4 - link to the publication
- A preservation theorem for theories without the tree property of the first kindAuthors:Jan Dobrowolski, Hyeungjoon KimAcademic press:Mathematical Logic Quarterly (rok: 2017, tom: 63, strony: 536–543), Wydawca: Wiley-VCH Verlag GmbH & Co. KGaAStatus:PublishedDOI:10.1002/malq201600049 - link to the publication
- Independence over arbitrary sets in NSOP1 theoriesAuthors:Jan Dobrowolski, Byunghan Kim, Nicholas RamseyAcademic press:Transactions of the American Mathematical Society (rok: 2019, ), Wydawca: American Mathematical SocietyStatus:SubmittedDOI:brak - link to the publication