Theories without the tree property of the first kind
2015/19/D/ST1/01174
Keywords
Descriptors
- ST1_1: Logika i podstawy matematyki
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
Voivodeship: 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
- 2016-06-27
- Project end date
- 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. Cost: 5 000 PLN
Information in the final report
Publication in academic press/journals (2)
-
Generic variations and NTP1
- Authors:
- Jan Dobrowolski
- Academic press:
- Archive for Mathematical Logic (year: 2018, volume: 57, pages: 861–871), Publisher: Springer
- Status:
- Published
- DOI:
- 10.1007/s00153-018-0609-4 – link to the publication
-
A preservation theorem for theories without the tree property of the first kind
- Authors:
- Jan Dobrowolski, Hyeungjoon Kim
- Academic press:
- Mathematical Logic Quarterly (year: 2017, volume: 63, pages: 536–543), Publisher: Wiley-VCH Verlag GmbH & Co. KGaA
- Status:
- Published
- DOI:
- 10.1002/malq201600049 – link to the publication