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