Michał Stronkowski

Faculty of Mathematics and Information Science, Warsaw University of Technology
, room 427 GMiNI

I am a mathematician working in universal algebra, algebraic logic and related areas.



  1. (with Joan Gispert, Zuzana Haniková and Tommaso Moraschini) Structural Completeness in Many-Valued Logics with Rational Constants. Notre Dame J. Formal Logic 63(3): 261-299 (2022) (preprint: arXiv:2108.03049).
  2. Smiley face
  3. (with Guram Bezhanishvili, Nick Bezhanishvili and Tommaso Moraschini) Profiniteness and representability of spectra of Heyting algebras. Advances in Mathematics 391:107959, 2021 (open access).
  4. Deciding active structural completeness, Archive for Mathematical Logic 59: 149–165 (2020), (open access).
  5. Grzegorczyk algebras revisited, Bulletin of the Section of Logic 47(2) (2018), 129-139 .
  6. (with Anvar Nurakunov) Profiniteness in finitely generated varieties is undecidable, Journal of Symbolic Logic 83(4):1566-1578 (2018) (preprint arXiv:1712.09056).
  7. Axiomatizations of universal classes through infinitary logic, Algebra Universalis 79(2) (2018), Art. 26, 12 pp..
  8. (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).
  9. (with Wojciech Dzik) Almost structural completeness; an algebraic approach, Annals of Pure and Applied Logic, 167(7) (2016), 525-556 (open access).
  10. Smiley face
  11. (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).
  12. (with Belinda Trotta) Boolean topological graphs of semigroups: the lack of first-order axiomatization, Semigroup Forum 89(2) (2014), 443-461 (open access).
  13. (with Michał Cukrowski) Remarks on smooth real-compactness for Sikorski spaces, Demonstratio Mathematica 47(2) (2014), 465-473 (open access).
  14. Defining subdirect product closed classes in infinitary logic, Algebra Universalis 69(3) (2013), 231-235 (open access).
  15. (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).
  16. (with Anias Romanowska & Zamojska-Dzienio) Embedding sums of cancellative modes into functorial sums, Demonstratio Mathematica 44(3) (2011), 557-569 (preprint).
  17. Quasi-equational bases for graphs of semigroups, monoids and groups, Semigroup Forum 82 (2011), 296-306 (open access).
  18. (with David Stanovský) Embedding general algebras into modules, Proceedings of the American Mathematical Society 138 (2010), 2687-2699 (open access).
  19. Embedding entropic algebras into semimodules and modules, International Journal of Algebra and Computation 19 (2009), 1025-1047 (preprint).
  20. (with Anvar Nurakunov) Quasivarieties with definable relative principal subcongruences, Studia Logica 92 (2009), 109-120 (preprint).
  21. Cancellation in entropic algebras, Algebra Universalis 60 (2009), 439-468 (preprint).
  22. On free modes, Comment. Math. Univ. Carolinae 47/4 (2006) 561-568 (open access).
  23. A characterization of varieties equivalent to varieties of affine modules, Contributions to General Algebra 14 (2004), 167-172 (preprint).

Conference papers

  1. (with Mateusz Uliński) Active Structural Completeness for Tabular Modal Logics, Advances in Modal Logic 12, Booklet of short papers:110-114, 2018.
  2. Free Boolean extensions of Heyting algebras, Advances in Modal Logic 11, Booklet of short papers:122-126, 2016. (content included in article 17)
  3. Universal freeness and admissibility, UNIF (2016), 57-61.
  4. A characterization of varieties equivalent to varieties of affine modules, Contributions to General Algebra 14 (2004), 167-172 (preprint).

Unpublished papers

  1. On the Blok-Esakia theorem for universal classes, arXiv:1810.09286.

Selected slides

  1. The undecidability of profiniteness, TACL, Nice 2019.
  2. (Active) structural completeness for small frames, WARU, Prague 2019.
  3. Deciding active structural completeness, LATD, Bern 2018.
  4. Axiomatizations for universal classes, ALPFM, Szklarska poręba 2017.
  5. Admissibility for multi-conclusion consequence relations and universal classes , TACL, Prague 2017.
  6. Free Boolean extensions of Heyting algebras, AiML, Budapest 2016.
  7. Structural completeness for discriminator varieties, Algebras & Clones fest, Prague 2014.
  8. Boolean topological graphs of semigroups, BLAST, Orange 2013.
  9. On almost structural completeness, TACL, Nashville 2013.
  10. Embedding entropic algebras into modules, UA and LT conf., Szeged 2012.
  11. Finite axiomatization of quasivarieties of relational structures, Jardafest, Praha 2010.
  12. Abelianess implies quasi-affiness revisited, NSAC'09, Novi Sad 2009.
  13. Pałasińska's finite basis theorem revisited, AAA78, Bern 2009.
  14. A new proof of Pigozzi theorem, LOGIC COLLOQUIUM 2008, Bern 2008.
  15. Embedding algebras into entropic polyquasigroups, LOOPS'07, Praha 2007.
  16. Subreducts of modules over commutative rings, AAA74, Tampere 2007.
  17. O Zanurzeniach Algebr Entropicznych, Ph.D defence, Warszawa 2007.


I teach courses in engineering (statistics, calculus, linear algebra) as well as in mathematics and computer science programs (discrete mathematics, algebra, logic). Occasionally, I conduct more advanced classes for interested students (modal logic, dynamic logic, model theory, set theory, combinatorial algebra, algebraic number theory).

Most of the materials for students are available on the LEON platform.

Michał Stronkowski's Web Page