Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Aksjomatyzacje rozmaitości i quasirozmaitości

2011/01/D/ST1/06136

Słowa kluczowe:

Rozmaitości quasirozmaitości topologiczne quasirozmaitości systemy dedukcyjne skończone aksjomatyzacje nieskończone aksjomatyzacje pierwszorzędowe aksjomatyzacje.

Deskryptory:

  • ST1_2: Algebra
  • 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:

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Michał Stronkowski 

Liczba wykonawców projektu: 1

Konkurs: SONATA 1 - ogłoszony 2011-03-15

Przyznana kwota: 276 000 PLN

Rozpoczęcie projektu: 2011-12-01

Zakończenie projektu: 2017-11-30

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

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer przenośny. Za kwotę 3 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (8)
  • Teksty w publikacjach pokonferencyjnych (3)
  1. Defining subdirect product closed classes in infinitary logic
    Autorzy:
    Michał M. Stronkowski
    Czasopismo:
    Algebra Universalis (rok: 2013, tom: 69, strony: 231-235), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00012-013-0230-7 - link do publikacji
  2. On structural completeness versus almost structural completeness problem: a discriminator varieties case study
    Autorzy:
    Miguel Campercholi, Michał M. Stronkowski, Diego Vaggione
    Czasopismo:
    Logic Journal of the IGPL (rok: 2015, tom: online, strony: 235-246), Wydawca: Oxford University Press
    Status:
    Opublikowana
    Doi:
    10.1093/jigpal/jzu032 - link do publikacji
  3. Grzegorczyk algebras revisited
    Autorzy:
    Michał M. Stronkowski
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2018, tom: 47, strony: 129-139), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Przyjęta do publikacji
    Doi:
    10.18778/0138-0680.47.2.05 - link do publikacji
  4. Almost structural completeness; an algebraic approach
    Autorzy:
    Wojciech Dzik, Michał M. Stronkowski
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2016, tom: 176, strony: 525-556), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2016.03.002 - link do publikacji
  5. Deciding active structural completeness
    Autorzy:
    Michał M. Stronkowski
    Czasopismo:
    Archive for Mathematical Logic (rok: 2019, ), Wydawca: Springer
    Status:
    Złożona
    Doi:
    nie - link do publikacji
  6. Axiomatizations of universal classes through infinitary logic
    Autorzy:
    Michał M. Stronkowski
    Czasopismo:
    Algebra Universalis (rok: 2018, tom: 79, strony: art. 26, 12 stron), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00012-018-0507-y - link do publikacji
  7. Profiniteness in finitely generated varieties is undecidable
    Autorzy:
    Anvar M. Nurakunov, Michał M. Stronkowski
    Czasopismo:
    Journal of Symbolic Logic (rok: 2018, ), Wydawca: CAMBRIDGE UNIV PRESS
    Status:
    Przyjęta do publikacji
    Doi:
    10.1017/jsl.2017.89 - link do publikacji
  8. Boolean topological graphs of semigroups; the lack of first-order axiomatization
    Autorzy:
    Michał M. Stronkowski, Belinda Trotta
    Czasopismo:
    Semigroup Forum (rok: 2014, tom: 89, strony: 443-461), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00233-014-9582-3 - link do publikacji
  1. Active structural completeness for tabular modal logics
    Autorzy:
    Michał M. Stronkowski, Mateusz Uliński
    Konferencja:
    Advances in Modal Logic (rok: 2018, ), Wydawca: University of Bern
    Data:
    konferencja 27-31.08.2018
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Free Boolean extensions of Heyting algebras
    Autorzy:
    Michał M. Stronkowski
    Konferencja:
    Advances in Modal Logic 2016 (rok: 2016, ), Wydawca: Eötvös University
    Data:
    konferencja 30 sierpnia - 2 września 2016
    Status:
    Opublikowana
  3. Universal freeness and admissibility
    Autorzy:
    Michał M. Stronkowski
    Konferencja:
    The 30th International Workshop on Unification (UNIF 2016) (rok: 2016, ), Wydawca: University of Porto
    Data:
    konferencja 26 czerwca 2016
    Status:
    Opublikowana
    Doi:
    link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy