Singly generated quasivarieties and residuated structures

Preprint English OPEN
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J.;
  • Subject: Mathematics - Logic
    arxiv: Mathematics::Logic

A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A. A consequence of this demand, called "passive structural completeness... View more
Share - Bookmark