Research
Articles
- On the Blok-Esakia theorem for universal classes, arXiv:1810.09286.
- (with Mateusz Uliński) Active Structural Completeness for Tabular Modal Logics, AiML (2018), 110-114 (a short paper).
- Grzegorczyk algebras revisited, Bulletin of the Section of Logic 47(2) (2018), 129-139 (partially published as a short paper in AiML16).
- (with Anvar Nurakunov) Profiniteness in finitely generated varieties is undecidable, Journal of Symbolic Logic 83(4):1566-1578 (2018) (preprint arXiv:1712.09056).
- Axiomatizations of universal classes through infinitary logic, Algebra Universalis 79(2) (2018), Art. 26, 12 pp..
- Universal freeness and admissibility, UNIF (2016), 57-61 (extended abstract).
- (with Miguel Campercholi and Diego Vaggione) On structural completeness vs almost structural completeness problem: A discriminator varieties case study, Logic Journal of the IGPL 23(2) (2015), 235-246 (preprint: arXiv:1407.0175).
- (with Wojciech Dzik) Almost structural completeness; an algebraic approach, Annals of Pure and Applied Logic, 167(7) (2016), 525-556 (Abstract from TACL 2013, Preprint arXiv:1402.5495).
- (with Małgorzata Gutkowska, Marta Wnuk, Julita Nowakowska, Małgorzata Lichocka, Ewa Świeżewska) Rab geranylgeranyl Transferase β subunit is essential for male fertility and tip growth in Arabidopsis, Journal of Experimental Botany 66(1) (2015), 213-224 (open access).
- (with Belinda Trotta) Boolean topological graphs of semigroups: the lack of first-order axiomatization, Semigroup Forum 89(2) (2014), 443-461 (open access).
- (with Michał Cukrowski) Remarks on smooth real-compactness for Sikorski spaces, Demonstratio Mathematica 47(2) (2014), 465-473 (open access).
- Defining subdirect product closed classes in infinitary logic, Algebra Universalis 69(3) (2013), 231-235 (open access).
- (with Anvar Nurakunov) Relation formulas for protoalgebraic equality free quasivarieties: Pałasińska's theorem revisited, Studia Logica, 101(4) (2013), 827-847 (open access).
- (with Anias Romanowska & Zamojska-Dzienio) Embedding sums of cancellative modes into functorial sums, Demonstratio Mathematica 44(3) (2011), 557-569
(preprint).
- Quasi-equational bases for graphs of semigroups, monoids and groups, Semigroup Forum 82 (2011), 296-306 (open access).
- (with David Stanovský) Embedding general algebras into modules, Proceedings of the American Mathematical Society 138 (2010), 2687-2699
(open access).
- Embedding entropic algebras into semimodules and modules, International Journal of Algebra and Computation 19 (2009), 1025-1047
(preprint).
- (with Anvar Nurakunov) Quasivarieties with definable relative principal subcongruences, Studia Logica 92 (2009), 109-120
(preprint).
- Cancellation in entropic algebras, Algebra Universalis 60 (2009), 439-468
(preprint).
- On free modes, Comment. Math. Univ. Carolinae 47/4 (2006) 561-568
(open access).
- A characterization of varieties equivalent to varieties of affine modules, Contributions to General Algebra 14 (2004), 167-172
(preprint).
Selected slides
- Finite axiomatization for quasivarieties of digraphs, 5PCC, Będlewo 2014.
- Structural completeness for discriminator varieties, Algebras & Clones fest, Prague 2014.
- Boolean topological graphs of semigroups, BLAST, Orange 2013.
- On almost structural completeness, TACL, Nashville 2013.
- Embedding entropic algebras into modules, UA and LT conf., Szeged 2012.
- Finite axiomatization of quasivarieties of
relational structures, Jardafest, Praha 2010.
- Abelianess implies quasi-affiness revisited, NSAC'09,
Novi Sad 2009.
- Pałasińska's finite basis theorem revisited, AAA78,
Bern 2009.
- A new proof of Pigozzi theorem, LOGIC COLLOQUIUM 2008,
Bern 2008.
- Embedding algebras into entropic
polyquasigroups, LOOPS'07, Praha 2007.
- Subreducts of modules over commutative rings, AAA74, Tampere 2007.
- O Zanurzeniach Algebr Entropicznych, Ph.D defence, Warszawa 2007.
Theses
- On embeddings of entropic algebras, Ph.D thesis, content = papers 2+3+5.
- O rozmaitościach równoważnych rozmaitościom
modułów afinicznych, MSc thesis, content = paper 1.
Organizing
- AAA88, Warszawa 2014.
- AAB, New York 2011.
- AAA80, Będlewo 2010.
Michał Stronkowski's Web Page