期刊
ALGEBRA UNIVERSALIS
卷 48, 期 3, 页码 253-271出版社
SPRINGER BASEL AG
DOI: 10.1007/s000120200000
关键词
finite embeddability property; finite model property; linear logic; intuitionistic linear algebra; residuated lattice; pocrim; BCK-algebra; well-quasi-order
类别
A class of algebras has the finite embeddability property (FEP) if every finite partial subalgebra of an algebra in the class can be embedded into a finite algebra in the class. We investigate the relationship of the FEP with the finite model property (FMP) and strong finite model property (SFMP). For quasivarieties the FEP and the SFMP are equivalent, and for quasivarieties with equationally definable principal relative congruences the three notions FEP, FMP and SFMP are equivalent. The variety of intuitionistic linear algebras-which is known to have the FMP-fails to have the FEP, and hence the SFMP as well. The variety of integral intuitionistic linear algebras (also known as the variety of residuated lattices) does possess the FEP, and hence also the SFMP. Similarly contrasting statements hold for various sub-reduct classes. In particular, the quasivarieties of pocrims and of BCK-algebras possess the FEP. As a consequence, the universal theories of the classes of residuated lattices, pocrims and BCK-algebras are decidable.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据