On the complexity of the lattices of subvarieties and congruences-Reference-Cited by-同舟云学术

On the complexity of the lattices of subvarieties and congruences

Published:2020-08-28 Issue:08 Volume:30 Page:1609-1624
ISSN:0218-1967
Container-title:International Journal of Algebra and Computation
language:en
Short-container-title:Int. J. Algebra Comput.

Author:

Kravchenko A. V.¹²³⁴,Nurakunov A. M.⁵,Schwidefsky M. V.¹²⁴

Affiliation:

1. Sobolev Institute of Mathematics SB RAS, 4 Acad. Koptyug Prosp., 630090 Novosibirsk, Russia

2. Novosibirsk State University, 1 Pirogov St., 630090 Novosibirsk, Russia

3. Siberian Institute of Management, (Department of the Russian Academy of National Economy and Public Administration under the President of the Russian Federation), 6 Nizhegorodskaya St., 630102 Novosibirsk, Russia

4. Novosibirsk State Technical University, 20 Karl Marx Prosp., 630073 Novosibirsk, Russia

5. Institute of Mathematics of the National Academy of Sciences, 265a Chui Prosp., 720071 Bishkek, Kyrgyzstan

Abstract

We find sufficient conditions guaranteeing that for a quasivariety [Formula: see text] of structures of finite type containing a [Formula: see text]-class with respect to [Formula: see text], there exists a subquasivariety [Formula: see text] and a structure [Formula: see text] such that the problems whether a finite lattice embeds into the lattice [Formula: see text] of [Formula: see text]-varieties and into the lattice [Formula: see text] are undecidable.

Publisher

World Scientific Pub Co Pte Lt

Subject

General Mathematics

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218196720500563

Reference14 articles.

1. Structure of Quasivariety Lattices. I. Independent Axiomatizability

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. THE COMPLEXITY OF QUASIVARIETY LATTICES. II;SIB ELECTRON MATH RE;2023

2. Introduction;CMS/CAIMS Books in Mathematics;2022

3. Structure of Quasivariety Lattices. IV. Nonstandard Quasivarieties;Siberian Mathematical Journal;2021-09

4. On a Class of Subsemigroup Lattices;Siberian Mathematical Journal;2020-09

5. Structure of Quasivariety Lattices. III. Finitely Partitionable Bases;Algebra and Logic;2020-07