Admissibility via natural dualities

• Leonardo Cabrer ^[1] ; George Metcalfe ^[1]
  1. [1] University of Bern

     University of Bern

     Bern/Berne/Berna, Suiza

     
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 219, Nº 9 (September 2015), 2015, págs. 4229-4253
• Idioma: inglés
• DOI: 10.1016/j.jpaa.2015.02.015
• Enlaces
  • Texto completo
• Resumen

  • It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.