Projekty finansowane przez NCN
Teorie bez własności drzewa pierwszego rodzaju.
2015/19/D/ST1/01174
Słowa kluczowe:
Własność drzewa pierwszego rodzaju
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
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ęcy (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 (3)
- Generic variations and NTP1Autorzy:Jan DobrowolskiCzasopismo:Archive for Mathematical Logic (rok: 2018, tom: 57, strony: 861–871), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s00153-018-0609-4 - link do publikacji
- A preservation theorem for theories without the tree property of the first kindAutorzy:Jan Dobrowolski, Hyeungjoon KimCzasopismo:Mathematical Logic Quarterly (rok: 2017, tom: 63, strony: 536–543), Wydawca: Wiley-VCH Verlag GmbH & Co. KGaAStatus:OpublikowanaDoi:10.1002/malq201600049 - link do publikacji
- Independence over arbitrary sets in NSOP1 theoriesAutorzy:Jan Dobrowolski, Byunghan Kim, Nicholas RamseyCzasopismo:Transactions of the American Mathematical Society (rok: 2019, ), Wydawca: American Mathematical SocietyStatus:ZłożonaDoi:brak - link do publikacji