Results 31 to 40 of about 81 (74)

Structural completeness in quasivarieties

open access: yes
In this paper we study various forms of (hereditary) structural completeness for quasivarieties of algebras, using mostly algebraic techniques. More specifically we study relative weakly projective algebras and the way they interact with structural completeness in quasivarieties.
Aglianó, Paolo, CItkin, Alex
openaire   +1 more source

Quasivarieties of De Morgan algebras: RCEP

open access: yes, 1993
Summary: We prove that there is a least strict quasivariety (i.e., a quasivariety which is not a variety) of De Morgan algebras and that such a quasivariety is perhaps the only strict quasivariety enjoying the relative congruence extension property.
openaire   +2 more sources

Profinite Locally Finite Quasivarieties

Studia Logica, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anvar M. Nurakunov   +1 more
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.
Blok, W. J., Raftery, J. G.
openaire   +1 more source

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.
Adams, M. E., Dziobiak, W.
openaire   +2 more sources

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 \
openaire   +1 more source

Levi quasivarieties

Siberian Mathematical Journal, 1999
Let \(\mathcal E\) be a given group-theoretical property and \(G\) be some group. We say that the group \(G\) has the property \(L({\mathcal E})\) generated by the property \(\mathcal E\) if, for every element \(x\in G\), the normal closure \((x)^G\) has the property \(\mathcal E\). The property \(L({\mathcal E})\) is called the Levy property.
openaire   +2 more sources

Home - About - Disclaimer - Privacy