Results 1 to 10 of about 129 (63)
Some non-standard quasivarieties of lattices [PDF]
The questions of the standardness of quasivarieties have been investigated by many authors. The problem "Which finite lattices generate a standard topological prevariety?" was suggested by D.M. Clark, B.A. Davey, M.G. Jackson and J.G.
S.M. Lutsak +3 more
doaj +5 more sources
Structure of Quasivariety Lattices. IV. Nonstandard Quasivarieties
Let \(\sigma\) be a finite signature and let \(\mathcal M\) be a quasivariety of signature \(\sigma\). According to Definition 4 of the paper, a class \(\mathcal A=\{\mathbb A_X\;|\;X\in {\mathcal P}_{\textrm{fin}}(\omega)\}\subseteq {\mathcal M}\) of finite \(\sigma\)-structures is called a \textit{finite \(B\)-class} with respect to \(\mathcal M\) if
Kravchenko, A. V. +2 more
openaire +4 more sources
Finite Lattices Generating Not Finitely–Based and Nonstandard Quasivarieties [PDF]
There are two well-known and closely related problems in lattice theory: Which finite lattices generate finitely-based quasivarieties? and Which finite lattices generate standard quasivarieties?
M. A. Arapbay +2 more
doaj +2 more sources
Finite atomistic lattices that can be represented as lattices of quasivarieties [PDF]
Summary: We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of an earlier paper by the third author and \textit{V. I.
Adaricheva, K. V. +2 more
openaire +2 more sources
Сharacterization of distributive lattices of quasivarieties of unars
Vladimir Konstantinovich Kartashov +1 more
openaire +4 more sources
On quasi-identities of finite modular lattices. II [PDF]
The existence of a finite identity basis for any finite lattice was established by R. McKenzie in 1970, but the analogous statement for quasi-identities is incorrect.
A.O. Basheyeva, S.M. Lutsak
doaj +2 more sources
The complexity of quasivariety lattices of unary algebras
S. M. Lutsak
openaire +2 more sources
The inconsistency predicate on De Morgan lattices
We consider expansions of De Morgan lattices by an additional unary predicate interpreted in each De Morgan lattice by the ideal generated by all elements of the form a ∧ −a, and describe the finite lattice of strict universal Horn classes of such ...
Adam Přenosil
doaj +1 more source
Lattices of Quasivarieties of 3-Element Algebras
This well-written paper contains many interesting results from the structure of lattices of subquasivarieties. A quasivariety is any class of similar algebraic structures that is closed under isomorphisms, substructures, direct products, and ultraproducts.
Adams, M.E., Dziobiak, W.
openaire +2 more sources
On the complexity of quasivariety lattices
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source

