Results 1 to 10 of about 35 (32)
The Relatively Free Groups F(Nc∧A2) Satisfy Noncentral Commutative Transitivity
We prove that a free group, F(Nc∧A2), relative to the variety, Nc∧A2, of all groups simultaneously nilpotent of class at most c and metabelian is such that the centralizer of every noncentral element is abelian. We relate that result to the model theory of such groups as well as a quest to find a relative analog in Nc∧A2 of a classical theorem of ...
Anthony M. Gaglione +3 more
wiley +1 more source
A notion of functional completeness for first‐order structure
Using ☆‐congruences and implications, Weaver (1993) introduced the concepts of prevariety and quasivariety of first‐order structures as generalizations of the corresponding concepts for algebras. The notion of functional completeness on algebras has been defined and characterized by Burris and Sankappanavar (1981), Kaarli and Pixley (2001), Pixley ...
Etienne R. Alomo Temgoua, Marcel Tonga
wiley +1 more source
Rectangular groupoids and related structures.
Boykett T.
europepmc +1 more source
Varieties of Representations of Groups, Quasivarieties and Pseudovarieties of Groups
Boris Plotkin
exaly +3 more sources
Quasivarieties and Varieties of Lattice-Ordered Groups
Many properties and statements of the theory of lattice-ordered groups (l-groups) can be formulated and proved in terms of first order logic. Special mention should be made of properties expressed by universal sentences such as identities and implications, which can be referred to as the theory of varieties and quasivarieties, respectively, of l-groups.
V. M. Kopytov, N. Ya. Medvedev
openaire +2 more sources
Some of the next articles are maybe not open access.
Varieties and Quasivarieties in General Languages
CMS/CAIMS Books in Mathematics, 2022Kira Adaricheva +2 more
exaly
On Jonsson varieties and quasivarieties
Bulletin of the Karaganda University-mathematics, 2021A R Yeshkeyev
exaly
Minimal varieties and quasivarieties of semilattices with one automorphism
Semigroup Forum, 2008W Dziobiak, J Ježek
exaly

