Results 1 to 10 of about 101 (90)
Discrimination in a General Algebraic Setting. [PDF]
ScientificWorldJournal, 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.
Fine B +3 more
europepmc +2 more sources
Structure of Quasivariety Lattices. IV. Nonstandard Quasivarieties
Siberian Mathematical Journal, 2021 Let \(\sigma\) be a finite signature and let \(\mathcal M\) be a quasivariety of signature \(\sigma\). According to Definition 4 of the paper, a class \(\mathcal A=\{\mathbb A_X\;|\;X\in {\mathcal P}_{\textrm{fin}}(\omega)\}\subseteq {\mathcal M}\) of finite \(\sigma\)-structures is called a \textit{finite \(B\)-class} with respect to \(\mathcal M\) if
Schwidefsky M V +2 more
exaly +3 more sources
Finite Lattices Generating Not Finitely–Based and Nonstandard Quasivarieties
Journal of MathematicsThere are two well-known and closely related problems in lattice theory: Which finite lattices generate finitely-based quasivarieties? and Which finite lattices generate standard quasivarieties?
M. A. Arapbay +2 more
doaj +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 +3 more sources
Existentially prime Jonsson quasivarieties and their Jonsson spectra [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2022 This article is devoted to the study of Jonsson quasivarieties in a signature enriched with new predicate and constant symbols. New concepts of semantic Jonsson quasivariety and fragment-conservativeness of the center of the Jonsson theory are ...
A. R. Yeshkeyev +2 more
doaj +2 more sources
On Robinson spectrum of the semantic Jonsson quasivariety of unars [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 Given article is devoted to the study of semantic Jonsson quasivariety of universal unars of signature containing only unary functional symbol. The first section of the article consists of basic necessary concepts. There were defined new notions
A.R. Yeshkeyev +3 more
doaj +3 more sources
On categoricity questions for universal unars and undirected graphs under semantic Jonsson quasivariety [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 The article is devoted to the study of semantic Jonsson quasivarieties of universal unars and undirected graphs. The first section of the article consists of basic necessary concepts from Jonsson model theory.
A.R. Yeshkeyev +2 more
doaj +2 more sources
Some non-standard quasivarieties of lattices [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 The questions of the standardness of quasivarieties have been investigated by many authors. The problem "Which finite lattices generate a standard topological prevariety?" was suggested by D.M. Clark, B.A. Davey, M.G. Jackson and J.G.
S.M. Lutsak +3 more
doaj +3 more sources
On quasi-identities of finite modular lattices. II [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 The existence of a finite identity basis for any finite lattice was established by R. McKenzie in 1970, but the analogous statement for quasi-identities is incorrect.
A.O. Basheyeva, S.M. Lutsak
doaj +2 more sources
On quasi-identities of finite modular lattices
Вестник КазНУ. Серия математика, механика, информатика, 2022 In 1970 R. McKenzie proved that any finite lattice has a finite basis of identities. However the similar result for quasi-identities is not true. That is there is a finite lattice that has no finite basis of quasi-identities.
S. Lutsak, O. Voronina, G. Nurakhmetova
doaj +1 more source