Universal Algebra

Prof. Tommaso Moraschini (University of Barcelona) will give a seminar on Thursday 15 May 2025 at 11:30 in Sala Riunioni, DipMat. Title: Implicit operations in algebra and logic. Abstract: It is well known that the partial operation of taking inverses in monoids is preserved under homomorphisms and, moreover, is definable by a first-order Read more…