Results 1 to 10 of about 26 (25)
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
Some of the next articles are maybe not open access.
Varieties of Representations of Groups, Quasivarieties and Pseudovarieties of Groups
1996exaly +2 more sources
Quasivarieties and Varieties of Lattice-Ordered Groups
1996Many 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 +1 more source
Varieties and Quasivarieties in General Languages
CMS/CAIMS Books in Mathematics, 2022Kira Adaricheva +2 more
exaly
Minimal varieties and quasivarieties of semilattices with one automorphism
Semigroup Forum, 2008W Dziobiak, J Ježek
exaly
Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I
Algebra and Logic, 1995V A Gorbunov, Gorbunov V A
exaly

