布洛克，W.J。;范阿尔滕，C.J。 剩余格、pocrims和BCK-代数的有限嵌入性。 （英语） Zbl 1058.06016号 代数大学。 48，第3期，253-271（2002）. 摘要：如果一类代数的每个有限部分子代数都可以嵌入到该类的有限代数中，则该类代数具有有限可嵌入性（FEP）。我们研究了FEP与有限模型性质（FMP）和强有限模型特性（SFMP）的关系。对于拟簇，FEP和SFMP是等价的，对于具有等式定义的主相对同余的拟簇，三个概念FEP、FMP和SFMP是等价的。直觉主义线性代数的多样性（众所周知具有FMP）没有FEP，因此也没有SFMP。积分直觉线性代数的种类（也称为剩余格的种类）确实具有FEP，因此也具有SFMP。类似的对比语句适用于各种子约简类。特别地，pocrims和BCK-代数的拟簇具有FEP。因此，剩余格类、pocrims类和BCK-代数类的普适理论是可判定的。 引用于1审查引用于47文件 MSC公司： 05年6月 有序半群和幺半群 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 35楼06号 BCK-代数，BCI-代数 03B25号 理论和句子集的可决定性 03C05号机组 模型理论中的方程类、泛代数 08A55号 部分代数 08年10月 公理模型类 08C15号 准变种 关键词：有限嵌入性;有限模型性质;线性逻辑 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Blok}和\textit{C.J.van Alten}，代数大学。48，第3号，253--271（2002；Zbl 1058.06016） 全文： 内政部