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