Structure of Quasivariety Lattices. II. Undecidable Problems

被引：0
|
作者：
A. V. Kravchenko
A. M. Nurakunov
M. V. Schwidefsky
机构：
[1] Sobolev Institute of Mathematics,Institute of Mathematics
[2] Novosibirsk State University,undefined
[3] Siberian Institute of Management,undefined
[4] Novosibirsk State Technical University,undefined
[5] National Academy of Science of the Kyrgyz Republic,undefined
来源：
Algebra and Logic | 2019年 / 58卷
关键词：
quasi-identity; quasivariety; membership problem; undecidable theory; independent basis; Q-universality;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：123 / 136
页数：13
相关论文
共 50 条
  • [1] Structure of Quasivariety Lattices. II. Undecidable Problems
    Kravchenko, A. V.
    Nurakunov, A. M.
    Schwidefsky, M. V.
    [J]. ALGEBRA AND LOGIC, 2019, 58 (02) : 123 - 136
  • [2] THE COMPLEXITY OF QUASIVARIETY LATTICES. II
    Schwidefsky, M. V.
    [J]. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2023, 20 (01): : 501 - 513
  • [3] Structure of Quasivariety Lattices. IV. Nonstandard Quasivarieties
    Kravchenko, A., V
    Nurakunov, A. M.
    Schwidefsky, M., V
    [J]. SIBERIAN MATHEMATICAL JOURNAL, 2021, 62 (05) : 850 - 858
  • [4] Structure of Quasivariety Lattices. I. Independent Axiomatizability
    Kravchenko, A. V.
    Nurakunov, A. M.
    Schwidefsky, M. V.
    [J]. ALGEBRA AND LOGIC, 2019, 57 (06) : 445 - 462
  • [5] Structure of Quasivariety Lattices. I. Independent Axiomatizability
    A. V. Kravchenko
    A. M. Nurakunov
    M. V. Schwidefsky
    [J]. Algebra and Logic, 2019, 57 : 445 - 462
  • [6] Structure of Quasivariety Lattices. IV. Nonstandard Quasivarieties
    A. V. Kravchenko
    A. M. Nurakunov
    M. V. Schwidefsky
    [J]. Siberian Mathematical Journal, 2021, 62 : 850 - 858
  • [7] Structure of Quasivariety Lattices. III. Finitely Partitionable Bases
    Kravchenko, A., V
    Nurakunov, A. M.
    Schwidefsky, M., V
    [J]. ALGEBRA AND LOGIC, 2020, 59 (03) : 222 - 229
  • [8] Structure of Quasivariety Lattices. III. Finitely Partitionable Bases
    A. V. Kravchenko
    A. M. Nurakunov
    M. V. Schwidefsky
    [J]. Algebra and Logic, 2020, 59 : 222 - 229
  • [9] On finite critical lattices. II.
    Perminova, O. E.
    [J]. TRUDY INSTITUTA MATEMATIKI I MEKHANIKI URO RAN, 2011, 17 (04): : 278 - 292
  • [10] On subspace lattices. II. Continuity of Lat
    Shulman, VS
    Todorov, IG
    [J]. JOURNAL OF OPERATOR THEORY, 2004, 52 (02) : 371 - 384
12345