Projekty finansowane przez NCN


Dane kierownika projektu i jednostki wnioskują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, m.in.:

Jednostka wnioskująca:

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki wnioskującej):

dr inż. 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

Czas trwania projektu: 60 miesięcy

Status projektu: Projekt zakończony

Dane z raportu końcowego

  • Publikacje w czasopismach (8)
  • Teksty w publikacjach pokonferencyjnych (3)
  1. Boolean topological graphs of semigroups; the lack of first-order axiomatization IF: 0,384
    Autorzy:
    Michał M. Stronkowski, Belinda Trotta
    Czasopismo:
    Semigroup Forum (rok: 2014, tom: 89, strony: 443-461), Wydawca: Springer
    Status:
    Opublikowane
    Doi:
    10.1007/s00233-014-9582-3 - link do publikacji
  2. On structural completeness versus almost structural completeness problem: a discriminator varieties case study IF: 0,461
    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:
    Opublikowane
    Doi:
    10.1093/jigpal/jzu032 - link do publikacji
  3. Almost structural completeness; an algebraic approach IF: 0,582
    Autorzy:
    Wojciech Dzik, Michał M. Stronkowski
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2016, tom: 176, strony: 525-556), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.apal.2016.03.002 - link do publikacji
  4. Defining subdirect product closed classes in infinitary logic IF: 0,446
    Autorzy:
    Michał M. Stronkowski
    Czasopismo:
    Algebra Universalis (rok: 2013, tom: 69, strony: 231-235), Wydawca: Springer
    Status:
    Opublikowane
    Doi:
    10.1007/s00012-013-0230-7 - link do publikacji
  5. Axiomatizations of universal classes through infinitary logic IF: 0,553
    Autorzy:
    Michał M. Stronkowski
    Czasopismo:
    Algebra Universalis (rok: 2018, tom: 79, strony: art. 26, 12 stron), Wydawca: Springer
    Status:
    Opublikowane
    Doi:
    10.1007/s00012-018-0507-y - link do publikacji
  6. Deciding active structural completeness
    Autorzy:
    Michał M. Stronkowski
    Status:
    Złożone
  7. Profiniteness in finitely generated varieties is undecidable IF: 0,724
    Autorzy:
    Anvar M. Nurakunov, Michał M. Stronkowski
    Czasopismo:
    Journal of Symbolic Logic (rok: 2018, ), Wydawca: CAMBRIDGE UNIV PRESS
    Status:
    Przyjęte
    Doi:
    10.1017/jsl.2017.89 - link do publikacji
  8. 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ęte
    Doi:
    10.18778/0138-0680.47.2.05 - link do publikacji
  1. 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:
    Opublikowane
  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:
    Opublikowane
  3. 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:
    Opublikowane