Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

2017/27/B/ST1/01951

Słowa kluczowe:

arytmetyka ograniczona arytmetyka drugiego rzędu niedowodliwość złożoność dowodów matematyka odwrotna hierarchie formuł twierdzenie o rozstrzygalności twierdzenie Ramseya

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Leszek 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: 2022-07-18

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt w realizacji

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.

Dane z raportu końcowego

  • Publikacje w czasopismach (1)
  • Teksty w publikacjach pokonferencyjnych (1)
  1. Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs IF: 1,23
    Autorzy:
    Leszek Aleksander Kołodziejczyk, Keita Yokoyama
    Czasopismo:
    Selecta Mathematica (rok: 2020, tom: 26, strony: 56:1-56:18), Wydawca: Springer Nature
    Status:
    Opublikowane
    Doi:
    10.1007/s00029-020-00577-3 - link do publikacji
  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, ), Wydawca: IEEE
    Data:
    konferencja 9-12 listopada 2019
    Status:
    Opublikowane