|
Эта публикация цитируется в 12 научных статьях (всего в 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.
Поступила 17 февраля 2017 г., опубликована 24 марта 2017 г.
Образец цитирования:
A. Basheyeva, A. Nurakunov, M. Schwidefsky, A. Zamojska-Dzienio, “Lattices of subclasses. III”, Сиб. электрон. матем. изв., 14 (2017), 252–263
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr782 https://www.mathnet.ru/rus/semr/v14/p252
|
|