Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Indukcja dla formuł ograniczonych i jej relatywizacje

2013/09/B/ST1/04390

Słowa kluczowe:

arytmetyka pierwszego rzędu indukcja ograniczona relatywizacja przybliżone zliczanie słaba zasada szufladkowa definicje prawdy

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: 2

Konkurs: OPUS 5 - ogłoszony 2013-03-15

Przyznana kwota: 188 300 PLN

Rozpoczęcie projektu: 2014-02-19

Zakończenie projektu: 2017-09-18

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

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer. Za kwotę 5 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (6)
  • Teksty w publikacjach pokonferencyjnych (3)
  • Publikacje książkowe (1)
  1. Restricted polynomial induction versus ordinary induction
    Autorzy:
    Zofia Adamowicz
    Czasopismo:
    Fundamenta Mathematicae (rok: 2018, tom: 242, strony: 75-92), Wydawca: Instytut Matematyczny PAN
    Status:
    Opublikowana
    Doi:
    10.4064/fm323-10-2017 - link do publikacji
  2. Some subsystems of constant-depth Frege with parity
    Autorzy:
    Michal Garlik, Leszek Aleksander Kołodziejczyk
    Czasopismo:
    ACM Transactions on Computational Logic (rok: 2018, tom: 19(4), strony: 29:1-29:34), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3243126 - link do publikacji
  3. The Logical Strength of Büchi's Decidability Theorem [wersja rozszerzona pracy z konferencji CSL 2016]
    Autorzy:
    Leszek Aleksander Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak
    Czasopismo:
    Logical Methods in Computer Science , Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  4. End-extensions of models of weak arithmetic from complexity-theoretic containments
    Autorzy:
    Leszek Aleksander Kołodziejczyk
    Czasopismo:
    Journal of Symbolic Logic (rok: 2016, tom: 81, strony: 901-916), Wydawca: Cambridge University Press / Association for Symbolic Logic
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2015.53 - link do publikacji
  5. Categorical characterizations of the natural numbers require primitive recursion
    Autorzy:
    Leszek Aleksander Kołodziejczyk, Keita Yokoyama
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2015, tom: 166 nr 2, strony: 219-231), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.003 - link do publikacji
  6. Existentially closed models in the framework of arithmetic
    Autorzy:
    Zofia Adamowicz, Andres Cordon Franco, F. Felix Lara Martin
    Czasopismo:
    Journal of Symbolic Logic (rok: 2016, tom: 81, strony: 774-788), Wydawca: Cambridge University Press / Association for Symbolic Logic
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2015.36 - link do publikacji
  1. New Bounds on the Strength of Some Restrictions of Hindman's Theorem
    Autorzy:
    Lorenzo Carlucci, Leszek Aleksander Kołodziejczyk, Francesco Lepore, Konrad Zdanowski
    Konferencja:
    Computability in Europe (CiE) (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja 12-16 czerwca 2017
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. How unprovable is Rabin's decidability theorem?
    Autorzy:
    Leszek Aleksander Kołodziejczyk, Henryk Michalewski
    Konferencja:
    Logic in Computer Science (LICS) (rok: 2016, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 5-8 lipca 2016
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. The Logical Strength of Büchi's Decidability Theorem
    Autorzy:
    Leszek Aleksander Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak
    Konferencja:
    Computer Science Logic (CSL) (rok: 2016, ), Wydawca: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
    Data:
    konferencja 29 sierpnia - 1 września 2016
    Status:
    Opublikowana
    Doi:
    link do publikacji
  1. A Reflection on Collection
    Autorzy:
    Leszek A. Kołodziejczyk
    Książka:
    Liber Amicorum Alberti. A Tribute to Albert Visser (rok: 2016, tom: Tributes 30, strony: 187-194), Wydawca: College Publications
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy