Teorie bez własności drzewa pierwszego rodzaju.
2015/19/D/ST1/01174
Słowa kluczowe
Deskryptory
- ST1_1: Logika i podstawy matematyki
Panel
ST1 – Nauki matematyczne: wszystkie dziedziny matematyki, teoretyczne oraz stosowane a także podstawy matematyczne informatyki, fizyka matematyczna i statystyka matematyczna
Jednostka realizująca
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 1
Konkurs
SONATA 10 – ogłoszony 2015-09-15
- Przyznana kwota
- 66 440 PLN
- Rozpoczęcie projektu
- 2016-06-27
- Zakończenie projektu
- 2018-06-26
- Planowany czas trwania projektu
- 24 miesiące (z wniosku)
- Status projektu
- Projekt rozliczony
Opis projektu
Pobierz opis projektu w formacie .pdf
Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Zakupiona aparatura
- Komputer. Za kwotę 5 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (2)
-
Generic variations and NTP1
- Autorzy:
- Jan Dobrowolski
- Czasopismo:
- Archive for Mathematical Logic (rok: 2018, tom: 57, strony: 861–871), Wydawca: Springer
- Status:
- Opublikowana
- DOI:
- 10.1007/s00153-018-0609-4 – link do publikacji
-
A preservation theorem for theories without the tree property of the first kind
- Autorzy:
- Jan Dobrowolski, Hyeungjoon Kim
- Czasopismo:
- Mathematical Logic Quarterly (rok: 2017, tom: 63, strony: 536–543), Wydawca: Wiley-VCH Verlag GmbH & Co. KGaA
- Status:
- Opublikowana
- DOI:
- 10.1002/malq201600049 – link do publikacji