RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2017, том 14, страницы 252–263 (Mi semr782)

Эта публикация цитируется в 12 статьях

Математическая логика, алгебра и теория чисел

Lattices of subclasses. III

A. Basheyevaa, A. Nurakunovb, M. Schwidefskycd, A. Zamojska-Dzienioe

a The L.N. Gumilyov Eurasian National University, Satpaev str. 2, 010000 Astana, Kazakhstan
b Institute of Mathematics of the National Academy of Sciences, Chui prosp. 265a, 720071 Bishkek, Kyrgyzstan
c Sobolev Institute of Mathematics of the Siberian Branch RAS, Acad. Koptyug prosp. 4, 630090 Novosibirsk, Russia
d Novosibirsk State University, Pirogova str. 1, 630090 Novosibirsk, Russia
e Faculty of Mathematics and Information Science, Warsaw University of Technology, Koszykowa str. 75, 00-662 Warsaw, Poland

Аннотация: We prove that for certain $Q$-universal quasivarieties $\mathbf{K}$, the lattice of $\mathbf{K}$-quasivarieties contains continuum many subquasivarieties with the undecidable quasi-equational theory and for which the finite membership problem is also undecidable. Moreover, we prove that certain $Q$-universal quasivarieties have continuum many subquasivarieties with no independent quasi-equational basis.

Ключевые слова: Abelian group, differential groupoid, finite membership problem, graph, independent basis, quasi-identity, quasi-equational theory, quasivariety, $Q$-universal, undecidable theory.

УДК: 512.56, 512.57

MSC: 06B15, 08C15

Поступила 17 февраля 2017 г., опубликована 24 марта 2017 г.

Язык публикации: английский

DOI: 10.17377/semi.2017.14.023



Реферативные базы данных:


© МИАН, 2024