Enviar artigo por via de e-mail Structure of Quasivariety Lattices. II. Undecidable Problems
- Autores: Kravchenko A.V.1,2,3,4, Nurakunov A.M.5, Schwidefsky M.V.5
-
Afiliações:
- 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
- Edição: Volume 58, Nº 2 (2019)
- Páginas: 123-136
- Seção: Article
- URL: https://journals.rcsi.science/0002-5232/article/view/234126
- DOI: https://doi.org/10.1007/s10469-019-09531-5
- ID: 234126
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
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.
Palavras-chave
Sobre autores
A. Kravchenko
Sobolev Institute of Mathematics; Novosibirsk State University; Siberian Institute of Management; Novosibirsk State Technical University
Autor responsável pela correspondência
Email: a.v.kravchenko@mail.ru
Rússia, 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
Arquivos suplementares
