Results 31 to 40 of about 101 (90)

Convex congruences. [PDF]

Soft comput, 2017
Chajda I, Länger H.
europepmc   +1 more source

Counting quasivarieties of equivalential algebras [PDF]

Reports Math. Log., 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Rectangular groupoids and related structures.

Discrete Math, 2013
Boykett T.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Complexity of Quasivariety Lattices

Algebra and Logic, 2015
A quasivariety \(\mathbf K\) is a class of algebraic systems closed under isomorphisms, subsystems, direct products, and ultraproducts. The quasivarieties contained in a quasivariety \(\mathbf K\) form a complete lattice \(\mathbf{Lq(K)}\) under inclusion. Quasivariety lattices might be highly complex. A measure of complexity is given by the notion of \
Schwidefsky M V, M V Schwidefsky
exaly   +2 more sources

Equivalents for a Quasivariety to be Generated by a Single Structure

Studia Logica, 2009
In \textit{A. I. Mal'tsev}'s article [Algebra Logika 5, No. 3, 3--9 (1966; Zbl 0248.08006)], there can be found a condition for a quasivariety to be generated by a single structure, namely, the embedding property for nontrivial structures, which states that if \(A,B\in \mathcal{K}\) are nontrivial, then there exists \(C\in \mathcal{K}\) such that \(A,B\
Kravchenko A V, W Dziobiak, A V Kravchenko   +2 more
exaly   +3 more sources

Profinite Locally Finite Quasivarieties

Studia Logica, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anvar M. Nurakunov, Marina Schwidefsky
openaire   +2 more sources

QUASIVARIETIES OF IDEMPOTENT SEMIGROUPS

International Journal of Algebra and Computation, 2003
It is proved that the lattice L(Bd) of quasivarieties contained in the variety Bdof idempotent semigroups contains an isomorphic copy of the ideal lattice of a free lattice on ω free generators. This result shows that a problem of Petrich [19], which calls for a description of L(Bd), is much more complex than originally expected.
M. E. Adams, Wieslaw Dziobiak
openaire   +2 more sources

ASSERTIONALLY EQUIVALENT QUASIVARIETIES

International Journal of Algebra and Computation, 2008
A translation in an algebraic signature is a finite conjunction of equations in one variable. On a quasivariety K, a translation τ naturally induces a deductive system, called the τ-assertional logic of K. Two quasivarieties are τ-assertionally equivalent if they have the same τ-assertional logic. This paper is a study of assertional equivalence.
Willem J. Blok, James G. Raftery 0001
openaire   +1 more source