О сложности решеток подмногообразий и конгруэнций. II. Дифференциальные группоиды и унарные алгебры

Авторы

  • Aleksandr Vladimirovich Kravchenko Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный технический университет,Сибирский институт менеджмента
  • Marina Vladimirovna Schwidefsky Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный технический университет

Ключевые слова:

квазимногообразие, многообразие, решетка конгруэнций, дифференциальный группоид, унарная алгебра, неразрешимая проблема, вычислимое множество

Аннотация

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

Загрузки

Опубликован

2019-12-19

Выпуск

Том 17 (2020)

Раздел

МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ

Наиболее читаемые статьи этого автора (авторов)