Structure of Quasivariety Lattices. II. Undecidable Problems


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

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

补充文件

附件文件
动作
1. JATS XML

版权所有 © Springer Science+Business Media, LLC, part of Springer Nature, 2019