Structure of Quasivariety Lattices. II. Undecidable Problems

Structure of Quasivariety Lattices. II. Undecidable Problems Full article

Journal

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Output data

Year: 2019, Volume: 58, Number: 2, Pages: 123-136 Pages count : 14 DOI: 10.1007/s10469-019-09531-5

Tags

independent basis; membership problem; Q-universality; quasi-identity; quasivariety; undecidable theory

Authors

Kravchenko A.V. ^1,2,3,4 , Nurakunov A.M. ⁵ , Schwidefsky M.V. ⁵

Affiliations

1	Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russian Federation
2	Novosibirsk State University, ul. Pirogova 1, Novosibirsk, 630090, Russian Federation
3	Siberian Institute of Management, ul. Nizhegorodskaya 6, Novosibirsk, 630102, Russian Federation
4	Novosibirsk State Technical University, pr. Marksa 20, Novosibirsk, 630073, Russian Federation
5	Institute of Mathematics, National Academy of Science of the Kyrgyz Republic, pr. Chui 265a, Bishkek, 720071, Kyrgyzstan

Sufficient conditions are specified under which a quasivariety contains continuum many subquasivarieties having an independent quasi-equational basis but for which the quasiequational theory and the finite membership problem are undecidable. A number of applications are presented. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

Kravchenko A.V. , Nurakunov A.M. , Schwidefsky M.V.
Structure of Quasivariety Lattices. II. Undecidable Problems
Algebra and Logic. 2019. V.58. N2. P.123-136. DOI: 10.1007/s10469-019-09531-5 WOS Scopus OpenAlex

Web of science:	WOS:000479251100003
Scopus:	2-s2.0-85069542780
OpenAlex:	W2962870656

DB	Citing
Scopus	17
OpenAlex	12
Web of science	17