All Stories

  1. A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
  2. On the Directly and Subdirectly Irreducible Many-Sorted Algebras