Results 61 to 70 of about 775 (107)

On the lattice of quasivarieties of Sugihara algebras

Studia Logica, 1986
A Sugihara algebra is any algebra belonging to the variety \({\mathcal S}\) generated by the following algebra: \({\mathfrak S}=(Z,\wedge,\vee,\to,^-)\), where Z is the set of integers with the usual ordering, \(\bar x=-x\) and \(x\to y=\bar x\vee y\) if \(x\leq y\), \(x\to y=\bar x\wedge y\) otherwise.
Willem J. Blok, Wieslaw Dziobiak
openaire   +2 more sources

Baker-Pixley theorem for algebras in relatively congruence distributive quasivarieties

International journal of algebra and computation, 2019
A classical theorem of Baker and Pixley states that if [Formula: see text] is a finite algebra with a majority term and [Formula: see text] is an [Formula: see text]-ary operation on [Formula: see text] which preserves every subuniverse of [Formula: see ...
D. Vaggione
semanticscholar   +1 more source

Quasivarieties of graphs

Siberian Mathematical Journal, 1994
By a graph we mean a model of a binary predicate \(\rho(x,y)\). Many well-known properties of binary relations, such as reflexivity, symmetry, antisymmetry, transitivity, etc., are written down by means of quasiidentities. Such important classes of graphs as the class of all partial orders, the class of models of an equivalence relation, the class of ...
openaire   +2 more sources

Quasivariety of special jordan algebras

Algebra and Logic, 1983
It is well known that the class of all special Jordan algebras does not form a variety of algebras, but it is not difficult to see that this class forms a quasivariety of algebras. The natural question then arises whether this quasivariety can be defined by a finite number of quasi- identities.
openaire   +2 more sources

Model companions of the quasivarieties of polygons

Siberian Mathematical Journal, 1998
The author studies the existence problem for model companions of quasivarieties of polygons. Let \(\mathcal H\) be the class of polygons which possesses the amalgamation property and the congruence extension property. In the article under review, the existence of a model companion for \(\mathcal H\) is proven to be equivalent to each of the following ...
openaire   +2 more sources

Q-Universal Quasivarieties of Algebras

Proceedings of the American Mathematical Society, 1994
For any quasivariety \({\mathbf K}\) of algebras (of finite type), let \(L({\mathbf K})\) be the lattice of all quasivarieties in \({\mathbf K}\). Call \({\mathbf K}\) \(Q\)-universal iff for any quasivariety \({\mathbf M}\) (of algebras of finite type), \(L({\mathbf M})\) is a homomorphic image of a sublattice of \(L({\mathbf K})\).
Adams, M. E., Dziobiak, W.
openaire   +1 more source

Dominions in quasivarieties of metabelian groups

Siberian Mathematical Journal, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

ON FILTERS IN THE LATTICE OF QUASIVARIETIES OF GROUPS

Mathematics of the USSR-Izvestiya, 1989
See the review in Zbl 0656.20032.
openaire   +2 more sources

On Splittings in Lattices of Quasivarieties of Heyting Algebras

Tbilisi, 2023
Alex Citkin
semanticscholar   +1 more source

Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences

Studia Logica: An International Journal for Symbolic Logic, 2023
M. Campercholi, D. Vaggione
semanticscholar   +1 more source