А. В. Кравченко, А. М. Нуракунов, М. В. Швидефски, “О строении решёток квазимногообразий. II. Неразрешимые проблемы”, Алгебра и логика, 2019, том 58, номер 2,страницы 179

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

О строении решёток квазимногообразий. II. Неразрешимые проблемы

А. В. Кравченко^abcd, А. М. Нуракунов^e, М. В. Швидефски^cda

^a Новосибирский гос. ун-т, ул. Пирогова, 1, г. Новосибирск, 630090, РОССИЯ
^b Сибирский институт управления — филиал РАНХиГС, ул. Нижегородская 6, г. Новосибирск, 630102, РОССИЯ
^c Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
^d Новосибирский гос. техн. ун-т, пр. К. Маркса, 20, г. Новосибирск, 630073, РОССИЯ
^e Ин-т матем. НАН КР, пр. Чуй, 265а, 720071 г. Бишкек, КЫРГЫЗСТАН

Аннотация: Формулируются достаточные условия для того, чтобы квазимногообразие содержало континуум подквазимногообразий, имеющих независимый базис квазитождеств, с неразрешимыми квазиэквациональной теорией и проблемой вхождения для конечных систем. Приводится ряд приложений полученных результатов.

Ключевые слова: квазитождество, квазимногообразие, проблема вхождения, неразрешимая теория, $Q$-универсальность, независимый базис.

УДК: 512.57

Поступило: 14.07.2017
Окончательный вариант: 09.07.2019

DOI: 10.33048/alglog.2019.58.203