摘要

We prove our title, and thereby establish the base for a positive solution of Albert and Burris%26apos; problem on the finite axiomatizability of the model companion of the class of all pseudocomplemented semilattices.

  • 出版日期2013-11