Aksjomatyzacje rozmaitości i quasirozmaitości
2011/01/D/ST1/06136
Słowa kluczowe
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
Kierownik projektu (z jednostki realizującej)
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ące (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Komputer przenośny. Za kwotę 3 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (7)
-
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
-
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
-
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
-
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
-
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
-
Grzegorczyk algebras revisited
- Autorzy:
- Michał M. Stronkowski
- Status:
- Przyjęta do publikacji
-
Profiniteness in finitely generated varieties is undecidable
- Autorzy:
- Anvar M. Nurakunov, Michał M. Stronkowski
- Status:
- Przyjęta do publikacji
Teksty w publikacjach pokonferencyjnych (3)
-
Active structural completeness for tabular modal logics
- Autorzy:
- Michał M. Stronkowski, Mateusz Uliński
- Konferencja:
- Advances in Modal Logic (rok: 2018, strony: 110-114), Wydawca: University of Bern
- Data:
- konferencja 27-31.08.2018
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Universal freeness and admissibility
- Autorzy:
- Michał M. Stronkowski
- Konferencja:
- The 30th International Workshop on Unification (UNIF 2016) (rok: 2016, strony: 57-61), Wydawca: University of Porto
- Data:
- konferencja 26 czerwca 2016
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Free Boolean extensions of Heyting algebras
- Autorzy:
- Michał M. Stronkowski
- Konferencja:
- Advances in Modal Logic 2016 (rok: 2016, strony: 46027), Wydawca: Eötvös University
- Data:
- konferencja 30 sierpnia - 2 września 2016
- Status:
- Opublikowana