Results 11 to 20 of about 51 (44)
Discrimination in a General Algebraic Setting [PDF]
The Scientific World Journal, Volume 2015, Issue 1, 2015., 2015 Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures.
Benjamin Fine +4 more
wiley +2 more sources
Admissibility in Finitely Generated Quasivarieties [PDF]
Logical Methods in Computer Science, 2013 Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable ...
George Metcalfe +1 more
doaj +1 more source
The Relatively Free Groups F(Nc∧A2) Satisfy Noncentral Commutative Transitivity
Algebra, Volume 2014, Issue 1, 2014., 2014 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
Generalized Derivations of BCC‐Algebras
International Journal of Mathematics and Mathematical Sciences, Volume 2013, Issue 1, 2013., 2013 The notion of generalized derivations of BCC‐algebras is introduced, and some related properties are investigated. Also, we consider regular generalized derivations and the D‐invariant on ideals of BCC‐algebras. We also characterized KerD by generalized derivations.
S. M. Bawazeer +3 more
wiley +1 more source
On Cubic KU‐Ideals of KU‐Algebras
International Scholarly Research Notices, Volume 2013, Issue 1, 2013., 2013 We introduce the notion of cubic KU‐ideals of KU‐algebras and several results are presented in this regard. The image, preimage, and cartesian product of cubic KU‐ideals of KU‐algebras are defined.
Naveed Yaqoob +4 more
wiley +1 more source
A notion of functional completeness for first‐order structure
International Journal of Mathematics and Mathematical Sciences, Volume 2005, Issue 14, Page 2207-2215, 2005., 2005 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
The inconsistency predicate on De Morgan lattices
Acta Universitatis Carolinae Philosophica et Historica, 2017 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
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Manuscrito, 2011 In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic.
Manuela Busaniche, Roberto Cignoli
doaj +1 more source
Note on quasivarieties generated by finite pointed abelian groups
Open MathematicsWe prove that a finite pointed abelian group generates a finitely axiomatizable variety that has a finite quasivariety lattice. As a consequence, we obtain that a quasivariety generated by a finite pointed abelian group has a finite basis of quasi ...
Basheyeva Ainur, Lutsak Svetlana
doaj +1 more source
Criterion for a formula-definable quasivariety
Қарағанды университетінің хабаршысы. Математика сериясыIn this paper, we study classes of models of a first-order language L with a countable signature σ. For a model A, let Th(A) denote the set of all sentences of L that are true in A, called the elementary type of A.
M.I. Bekenov +3 more
doaj +1 more source