Мақаланы E-mail арқылы жіберу 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://journal-vniispk.ru/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
Қосымша файлдар
