definable principal congruences
Recently Published Documents


TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

2009 ◽  
Vol 157 (1) ◽  
pp. 30-49
Author(s):  
Paweł M. Idziak ◽  
Keith A. Kearnes ◽  
Emil W. Kiss ◽  
Matthew A. Valeriote

2008 ◽  
Vol 73 (1) ◽  
pp. 90-128 ◽  
Author(s):  
Marcel Jackson

AbstractWe describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an elementary translation of the universal Horn logic of algebras, partial algebras, and more generally still, partial structures into the equational logic of conventional algebras. A number of examples and corollaries follow. For example, the problem of deciding which finite algebras of some fixed type have a finite basis for their quasi-identities is shown to be equivalent to the finite identity basis problem for the finite members of a finiteiy based variety with definable principal congruences.


2006 ◽  
Vol 55 (2-3) ◽  
pp. 203-212 ◽  
Author(s):  
Kalle Kaarli ◽  
Alden Pixley

2001 ◽  
Vol 71 (3) ◽  
pp. 353-366 ◽  
Author(s):  
Paolo Agliano

AbstractIn this paper we investigate subtractive varieties of algebras that are Fregean in order to get structure theorems about them. For instance it turns out that a subtractive variety is Fregean and has equationally definable principal congruences if and only if it is termwise equivalent to a variety of Hilbert algebras with compatible operations. Several examples are provided to illustrate the theory.


1997 ◽  
Vol 07 (04) ◽  
pp. 511-540 ◽  
Author(s):  
Keith A. Kearnes ◽  
Ágnes Szendrei

We show that a locally finite variety which omits abelian types is self-rectangulating if and only if it has a compatible semilattice term operation. Such varieties must have type-set {5}. These varieties are residually small and, when they are finitely generated, they have definable principal congruences. We show that idempotent varieties with a compatible semilattice term operation have the congruence extension property.


1993 ◽  
Vol 35 (2) ◽  
pp. 189-201 ◽  
Author(s):  
M. Sequeira

AbstractThe variety O2 of all algebras (L; ∧, ∨, f, g, 0, 1) of type (2, 2, 1, 1, 0, 0) such that (L; ∧, ∨, f, 0, 1) and (L; ∧, ∨, g, 0, 1) are Ockham algebras is introduced, and, for n, m εℕ, its subvarieties DMSn, of double MSn-algebras, and DKn,m, of double Kn,m-algebras, are considered. It is shown that DKn,m has equationally definable principal congruences: a description of principal congruences on double Kn,m-algebras is given and simplified for double MSn-algebras. A topological duality for O2-algebras is developed and used to determine the subdirectly irreducible algebras in DKn,m and in DMSn. Finally, MSn-algebras which are reduct of a (unique) double MSn-algebra are characterized.


Sign in / Sign up

Export Citation Format

Share Document