Аннотация:
Рассматриваются изоморфизмы и алгоритмические свойства структур с двумя эквивалентностями на основе разработанных автором методов определимости графа в двудольном графе и в структуре с двумя эквивалентностями, которые сохраняют алгоритмические и синтаксические свойств исходной структуры.
Ключевые слова:вычислимые алгебраические структуры, арифметическая и гиперарифметическая иерархия, изоморфизмы, семейство Скотта, определимые отношения.
Полный текст:
PDF файл (151 kB)
