On the finite embeddability property for residuated ordered groupoids
Authors:
W. J. Blok and C. J. van Alten
Journal:
Trans. Amer. Math. Soc. 357 (2005), 41414157
MSC (2000):
Primary 06F05; Secondary 03B47, 06F07, 06F99, 08C15, 08A50
Published electronically:
October 7, 2004
MathSciNet review:
2159703
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: The finite embeddability property (FEP) for integral, commutative residuated ordered monoids was established by W. J. Blok and C. J. van Alten in 2002. Using Higman's finite basis theorem for divisibility orders we prove that the assumptions of commutativity and associativity are not required: the classes of integral residuated ordered monoids and integral residuated ordered groupoids have the FEP as well. The same holds for their respective subclasses of (bounded) (semi)lattice ordered structures. The assumption of integrality cannot be dropped in generalthe class of commutative, residuated, lattice ordered monoids does not have the FEPbut the class of potent commutative residuated lattice ordered monoids does have the FEP, for any .
 1.
Garrett
Birkhoff, Lattice theory, 3rd ed., American Mathematical
Society Colloquium Publications, vol. 25, American Mathematical
Society, Providence, R.I., 1979. MR 598630
(82a:06001)
 2.
W.
J. Blok and Don
Pigozzi, Algebraizable logics, Mem. Amer. Math. Soc.
77 (1989), no. 396, vi+78. MR 973361
(90d:03140), http://dx.doi.org/10.1090/memo/0396
 3.
Willem
J. Blok and James
G. Raftery, Varieties of commutative residuated integral pomonoids
and their residuation subreducts, J. Algebra 190
(1997), no. 2, 280–328. MR 1441951
(98j:08001), http://dx.doi.org/10.1006/jabr.1996.6834
 4.
W.
J. Blok and C.
J. van Alten, The finite embeddability property for residuated
lattices, pocrims and BCKalgebras, Algebra Universalis
48 (2002), no. 3, 253–271. MR 1954775
(2003j:06017), http://dx.doi.org/10.1007/s000120200000
 5.
T.
S. Blyth and M.
F. Janowitz, Residuation theory, Pergamon Press, OxfordNew
YorkToronto, Ont., 1972. International Series of Monographs in Pure and
Applied Mathematics, Vol. 102. MR 0396359
(53 #226)
 6.
Johan
van Benthem and Alice
ter Meulen (eds.), Handbook of logic and language,
NorthHolland Publishing Co., Amsterdam; MIT Press, Cambridge, MA, 1997. MR 1437147
(98e:03025)
 7.
R.
P. Dilworth, Noncommutative residuated
lattices, Trans. Amer. Math. Soc. 46 (1939), 426–444. MR 0000230
(1,37d), http://dx.doi.org/10.1090/S00029947193900002305
 8.
Trevor
Evans, Some connections between residual finiteness, finite
embeddability and the word problem, J. London Math. Soc. (2)
1 (1969), 399–403. MR 0249344
(40 #2589)
 9.
I.M.A. Ferreirim, On varieties and quasivarieties of hoops and their reducts, Ph.D. thesis, University of Illinois at Chicago, 1992.
 10.
L.
Fuchs, Partially ordered algebraic systems, Pergamon Press,
OxfordLondonNew YorkParis; AddisonWesley Publishing Co., Inc., Reading,
Mass.Palo Alto, Calif.London, 1963. MR 0171864
(30 #2090)
 11.
J.
A. Green and D.
Rees, On semigroups in which 𝑥^{𝑟}=𝑥,
Proc. Cambridge Philos. Soc. 48 (1952), 35–40. MR 0046353
(13,720c)
 12.
Graham
Higman, Ordering by divisibility in abstract algebras, Proc.
London Math. Soc. (3) 2 (1952), 326–336. MR 0049867
(14,238e)
 13.
Denis
Higgs, Dually residuated commutative monoids with identity element
as least element do not form an equational class, Math. Japon.
29 (1984), no. 1, 69–75. MR 737536
(86a:06021)
 14.
Yves
Lafont, The finite model property for various fragments of linear
logic, J. Symbolic Logic 62 (1997), no. 4,
1202–1208. MR 1617973
(99m:03121), http://dx.doi.org/10.2307/2275637
 15.
J.
C. C. McKinsey and Alfred
Tarski, On closed elements in closure algebras, Ann. of Math.
(2) 47 (1946), 122–162. MR 0015037
(7,359e)
 16.
Mitsuhiro
Okada and Kazushige
Terui, The finite model property for various fragments of
intuitionistic linear logic, J. Symbolic Logic 64
(1999), no. 2, 790–802. MR 1777787
(2002g:03043), http://dx.doi.org/10.2307/2586501
 17.
Hiroakira
Ono and Yuichi
Komori, Logics without the contraction rule, J. Symbolic Logic
50 (1985), no. 1, 169–201. MR 780534
(87a:03053), http://dx.doi.org/10.2307/2273798
 18.
C.
J. van Alten and J.
G. Raftery, On quasivariety semantics of fragments of
intuitionistic propositional logic without exchange and contraction
rules, Rep. Math. Logic 31 (1997), 3–55 (1998).
MR
1772641 (2001e:03023)
 19.
Kimmo
I. Rosenthal, Quantales and their applications, Pitman
Research Notes in Mathematics Series, vol. 234, Longman Scientific
& Technical, Harlow; copublished in the United States with John Wiley
& Sons, Inc., New York, 1990. MR 1088258
(92e:06028)
 20.
M. Ward, R.P. Dilworth, Residuated lattices, Trans. Amer. Math. Soc. 45 (1939), 335354.
 21.
Wolfgang
Wechler, Universal algebra for computer scientists, EATCS
Monographs on Theoretical Computer Science, vol. 25, SpringerVerlag,
Berlin, 1992. MR
1177406 (94a:08001)
 1.
 G. Birkhoff, ``Lattice Theory", Amer. Math. Soc., Providence, 1967.MR 82a:06001
 2.
 W. J. Blok, D. Pigozzi, ``Algebraizable logics", Memoirs of the American Mathematical Society, 396, Amer. Math. Soc., Providence, 1989. MR 90d:03140
 3.
 W.J. Blok, J.G. Raftery, Varieties of commutative residuated integral pomonoids and their residuation subreducts, J. Algebra 190 (1997), 280328. MR 98j:08001
 4.
 W.J. Blok, C.J. van Alten, The finite embeddability property for residuated lattices, pocrims and BCKalgebras, Algebra Universalis 48 (2002), 253271. MR 2003j:06017
 5.
 T.S. Blyth, M.F. Janowitz, ``Residuation Theory", Pergamon Press, OxfordNew York 1972. MR 53:226
 6.
 Buszkowski, W., Mathematical linguistics and proof theory, in ``Handbook of Logic and Language", J. van Benthem and A. ter Meulen, editors, NorthHolland Publishing Co., Amsterdam; MIT Press, Cambridge, MA, 1997. MR 98e:03025
 7.
 Dilworth, R. P, Noncommutative residuated lattices, Trans. Amer. Math. Soc. 46, (1939), 426444. MR 1:37d
 8.
 T. Evans, Some connections between residual finiteness, finite embeddability and the word problem, J. London Math. Soc. 1 (1969), 399403. MR 40:2589
 9.
 I.M.A. Ferreirim, On varieties and quasivarieties of hoops and their reducts, Ph.D. thesis, University of Illinois at Chicago, 1992.
 10.
 L. Fuchs, Partially Ordered Algebraic Systems, AddisonWesley, 1963. MR 30:2090
 11.
 J. A. Green, D. Rees, On semigroups in which , Proc. Cambridge Philos. Soc. 48 (1952), 3540. MR 13:720c
 12.
 G. Higman, Ordering by divisibility in abstract algebras, Proc. London Math. Soc. (3) 2 (1952) 326336. MR 14:238e
 13.
 D. Higgs, Dually residuated commutative monoids with identity element do not form an equational class, Math. Japon. 29 (1984), 6975. MR 86a:06021
 14.
 Y. Lafont, The finite model property for various fragments of linear logic, J. Symbolic Logic 62 (1997), 12021208. MR 99m:03121
 15.
 J.C.C. McKinsey, A. Tarski, On closed elements in closure algebras, Ann. of Math. 47 (1946), 122162. MR 7:359e
 16.
 M. Okada, K. Terui, The finite model property for various fragments of intuitionistic linear logic, J. Symbolic Logic 64 (1999) no. 2, 790802. MR 2002g:03043
 17.
 H. Ono, Y. Komori, Logics without the contraction rule, J. Symbolic Logic 50 (1985), 169202. MR 87a:03053
 18.
 C.J. van Alten, J.G. Raftery, On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules, Reports on Mathematical Logic 31 (1997), 355; also Internal Report No. 5/99, School of Mathematical and Statistical Sciences, University of Natal, Durban. MR 2001e:03023
 19.
 Rosenthal, Kimmo I. ``Quantales and their applications", Pitman Research Notes in Mathematics Series, 234. Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York, 1990. MR 92e:06028
 20.
 M. Ward, R.P. Dilworth, Residuated lattices, Trans. Amer. Math. Soc. 45 (1939), 335354.
 21.
 W. Wechler, ``Universal Algebra for Computer Scientists", SpringerVerlag, BerlinHeidelberg, 1992. MR 94a:08001
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
06F05,
03B47,
06F07,
06F99,
08C15,
08A50
Retrieve articles in all journals
with MSC (2000):
06F05,
03B47,
06F07,
06F99,
08C15,
08A50
Additional Information
W. J. Blok
Affiliation:
Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, Chicago, Illinois 606077045
Email:
wjb@uic.edu
C. J. van Alten
Affiliation:
School of Mathematics, University of the Witwatersrand, Johannesburg, Wits 2050, South Africa
Email:
cvalten@maths.wits.ac.za
DOI:
http://dx.doi.org/10.1090/S0002994704036542
PII:
S 00029947(04)036542
Keywords:
Finite embeddability property,
residuated ordered groupoid,
residuated ordered monoid,
residuated lattice,
quantale,
integrality,
finite basis property,
divisibility order,
wellquasiorder
Received by editor(s):
December 2, 2003
Published electronically:
October 7, 2004
Additional Notes:
Professor Willem Blok tragically passed away shortly after submitting this paper
Article copyright:
© Copyright 2004
American Mathematical Society
