Sciweavers

2 search results - page 1 / 1
» The free n-generated BL-algebra
Sort
View
APAL
2005
67views more  APAL 2005»
13 years 4 months ago
Free abelian lattice-ordered groups
Abstract. Let n be a positive integer and FA (n) be the free abelian latticeordered group on n generators. We prove that FA (m) and FA (n) do not satisfy the same first-order sente...
Andrew M. W. Glass, Angus Macintyre, Franço...
IJAC
2006
118views more  IJAC 2006»
13 years 4 months ago
A Correspondence between Balanced Varieties and Inverse Monoids
There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which ar...
Mark V. Lawson