Спектральная универсальность отношений эквивалентности на упорядочении рациональных чисел

Калимуллин Искандер Шагитович

0000-0002-5931-3453

Scopus Author ID: 55890726900

Researcher ID: 14347

1. Казанский (Приволжский) федеральный университет, Казань, Россия

ikalimul@gmail.com

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

УДК 510.5

Ключевые слова: алгебраическая структура, спектр степеней, линейный порядок, отношение эквивалентности.