|
This article is cited in 17 scientific papers (total in 17 papers)
Structure of quasivariety lattices. II. Undecidable problems
A. V. Kravchenkoabcd, A. M. Nurakunove, M. V. Schwidefskycda a Novosibirsk State University
b Siberian Institute of Management — Branch of the Russian Presidental Academy of National Economics and Public Administration, Novosibirsk
c Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
d Novosibirsk State Technical University
e Institute of Mathematics of the National Academy of Sciences of the Kyrgyz Republic
Abstract:
Sufficient conditions are specified under which a quasivariety
contains continuum many subquasivarieties having an
independent quasi-equational basis but for which the
quasi-equational theory and the finite membership problem are
undecidable. A number of applications are presented.
Keywords:
quasi-identity, quasivariety, membership problem, undecidable
theory, $Q$-universality, independent basis.
Received: 14.07.2017 Revised: 09.07.2019
Citation:
A. V. Kravchenko, A. M. Nurakunov, M. V. Schwidefsky, “Structure of quasivariety lattices. II. Undecidable problems”, Algebra Logika, 58:2 (2019), 179–199; Algebra and Logic, 58:2 (2019), 123–136
Linking options:
https://www.mathnet.ru/eng/al889 https://www.mathnet.ru/eng/al/v58/i2/p179
|
Statistics & downloads: |
Abstract page: | 320 | Full-text PDF : | 34 | References: | 26 | First page: | 6 |
|