We prove that if a quasivariety A generated by a finite family M of finite algebras has a multisorted duality based on M, then A has a multisorted duality based on any finite family of finite algebras that generates it.
科研之友
微信
新浪微博
Facebook
分享链接
