Email this article Structure of Quasivariety Lattices. II. Undecidable Problems
- Authors: Kravchenko A.V.1,2,3,4, Nurakunov A.M.5, Schwidefsky M.V.5
-
Affiliations:
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Siberian Institute of Management
- Novosibirsk State Technical University
- Institute of Mathematics, National Academy of Science of the Kyrgyz Republic
- Issue: Vol 58, No 2 (2019)
- Pages: 123-136
- Section: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/234126
- DOI: https://doi.org/10.1007/s10469-019-09531-5
- ID: 234126
Cite item
Open Access
Access granted
Subscription Access
Abstract
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.
About the authors
A. V. Kravchenko
Sobolev Institute of Mathematics; Novosibirsk State University; Siberian Institute of Management; Novosibirsk State Technical University
Author for correspondence.
Email: a.v.kravchenko@mail.ru
Russian Federation, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 1, Novosibirsk, 630090; ul. Nizhegorodskaya 6, Novosibirsk, 630102; pr. Marksa 20, Novosibirsk, 630073
A. M. Nurakunov
Institute of Mathematics, National Academy of Science of the Kyrgyz Republic
Email: a.v.kravchenko@mail.ru
Kyrgyzstan, pr. Chui 265a, Bishkek, 720071
M. V. Schwidefsky
Institute of Mathematics, National Academy of Science of the Kyrgyz Republic
Email: a.v.kravchenko@mail.ru
Kyrgyzstan, pr. Chui 265a, Bishkek, 720071
Supplementary files
