Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
2017/27/B/ST1/01951
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 Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej)
dr hab. Leszek Aleksander Kołodziejczyk
Liczba wykonawców projektu: 4
Konkurs
OPUS 14 – ogłoszony 2017-09-15
- Przyznana kwota
- 418 000 PLN
- Rozpoczęcie projektu
- 2018-07-19
- Zakończenie projektu
- 2023-01-18
- Planowany czas trwania projektu
- 54 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 przenośny. Za kwotę 5 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (7)
-
Ramsey's theorem for pairs, collection, and proof size
- Autorzy:
- Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama
- Czasopismo:
- Journal of Mathematical Logic (rok: 2023, tom: b.d. [online ready], strony: 13516), Wydawca: World Scientific
- Status:
- Opublikowana
- DOI:
- 10.1142/S0219061323500071 – link do publikacji
-
Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
- Autorzy:
- Leszek Aleksander Kołodziejczyk, Keita Yokoyama
- Czasopismo:
- Selecta Mathematica (rok: 2020, tom: 26, strony: 56:1-56:18), Wydawca: Springer Nature
- Status:
- Opublikowana
- DOI:
- 10.1007/s00029-020-00577-3 – link do publikacji
-
Weaker cousins of Ramsey's theorem over a weak base theory
- Autorzy:
- Marta Fiori-Carones, Leszek Aleksander Kołodziejczyk, Katarzyna W. Kowalik
- Czasopismo:
- Annals of Pure and Applied Logic (rok: 2021, tom: 172 (10), strony: 103028:1-22), Wydawca: Elsevier
- Status:
- Opublikowana
- DOI:
- 10.1016/j.apal.2021.103028 – link do publikacji
-
How strong is Ramsey's theorem if infinity can be weak?
- Autorzy:
- Leszek Aleksander Kołodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama
- Czasopismo:
- Journal of Symbolic Logic (rok: 2023, tom: 88(2), strony: 620-639), Wydawca: Cambridge University Press/Association for Symbolic Logic
- Status:
- Opublikowana
- DOI:
- 10.1017/jsl.2022.46 – link do publikacji
-
Approximate counting and NP search problems
- Autorzy:
- Leszek Aleksander Kołodziejczyk, Neil Thapen
- Czasopismo:
- Journal of Mathematical Logic (rok: 2022, tom: 22(3), strony: 2250012:1-31), Wydawca: World Scientific
- Status:
- Opublikowana
- DOI:
- 10.1142/S021906132250012X – link do publikacji
-
Polynomial calculus space and resolution width [wersja czasopismowa pracy z FOCS 2019]
- Autorzy:
- Nicola Galesi, Leszek Aleksander Kołodziejczyk, Neil Thapen
- Status:
- Przyjęta do publikacji
-
An isomorphism theorem for models of Weak König's Lemma without primitive recursion
- Autorzy:
- Marta Fiori-Carones, Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama
- Status:
- Przyjęta do publikacji
Teksty w publikacjach pokonferencyjnych (1)
-
Polynomial calculus space and resolution width
- Autorzy:
- Nicola Galesi, Leszek Aleksander Kołodziejczyk, Neil Thapen
- Konferencja:
- 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) (rok: 2019, strony: 1325-1337), Wydawca: IEEE
- Data:
- konferencja 9-12 listopada 2019
- Status:
- Opublikowana