The finite embeddability property for residuated lattices, pocrims and BCK-algebras |
| |
Authors: | W J Blok C J Van Alten |
| |
Institution: | (1) Department of Mathematics, Statistics, and Computer Science, University of Illinois at Chicago, 851 S. Morgan Street, Chicago, Illinois 60607, e-mail: wjb@uic.edu, US;(2) Department of Mathematics, University of the Witwatersrand, Private Bag 3, Wits 2050, South Africa, e-mail: cvalten@maths.wits.ac.za, ZA |
| |
Abstract: | 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 subreduct 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.
Received February 16, 2001; accepted in final form November 2, 2001.
RID="h1"
ID="h1"The second author was supported by a postdoctoral research fellowship of the National Research Foundation of South
Africa, hosted by the University of Illinois at Chicago. |
| |
Keywords: | 2000 Mathematics Subject Classification: 06F05 03B47 06F35 08C15 08A50 ? and phrases: Finite embeddability property finite model property linear logic intuitionistic linear algebra residuated lattice pocrim BCK-algebra well-quasi-order |
本文献已被 SpringerLink 等数据库收录! |
|