Pozvánka na přednášku semináře

  • Václav Cenker (Palacky University in Olomouc):

    Free Algebras in Finitely Generated Varieties of Commutative BCK-Algebras

    23.04.2025 16:00Místnost 419 (zoom) @ Ústav informatiky
    Pod Vodárenskou věží 2
    Praha, 182 00
    Seminář aplikované matematické logiky

    In this talk, I will present a description of finitely generated free algebras in certain finitely generated varieties of commutative BCK-algebras. The construction relies on homomorphisms from free commutative BCK-algebras to free ŁBCK-algebras that extend the insertion of generators, allowing us to draw on existing results. A key step involves analyzing valuations and their equivalence classes, which leads to a precise count of the elements of the free algebras and a full structural characterization. In the final part of the talk, I will outline some ongoing work and open questions concerning the axiomatization of subvarieties of commutative BCK-algebras.

Předchozí přednášky