Structure of Quasivariety Lattices. II. Undecidable Problems
- 作者: Kravchenko A.V.1,2,3,4, Nurakunov A.M.5, Schwidefsky M.V.5
-
隶属关系:
- 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
- 期: 卷 58, 编号 2 (2019)
- 页面: 123-136
- 栏目: Article
- URL: https://journals.rcsi.science/0002-5232/article/view/234126
- DOI: https://doi.org/10.1007/s10469-019-09531-5
- ID: 234126
如何引用文章
详细
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.
作者简介
A. Kravchenko
Sobolev Institute of Mathematics; Novosibirsk State University; Siberian Institute of Management; Novosibirsk State Technical University
编辑信件的主要联系方式.
Email: a.v.kravchenko@mail.ru
俄罗斯联邦, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 1, Novosibirsk, 630090; ul. Nizhegorodskaya 6, Novosibirsk, 630102; pr. Marksa 20, Novosibirsk, 630073
A. Nurakunov
Institute of Mathematics, National Academy of Science of the Kyrgyz Republic
Email: a.v.kravchenko@mail.ru
吉尔吉斯斯坦, pr. Chui 265a, Bishkek, 720071
M. Schwidefsky
Institute of Mathematics, National Academy of Science of the Kyrgyz Republic
Email: a.v.kravchenko@mail.ru
吉尔吉斯斯坦, pr. Chui 265a, Bishkek, 720071
补充文件
