К теореме Маркова об алгоритмической нераспознаваемости многообразий

Доказывается, что число слагаемых в связной сумме произведений сфер, которая, как было показано, является алгоритмически нераспознаваемым многообразием, можно снизить до 14. Отмечается, что многообразие, построенное Марковым в его первой работе о нераспознаваемости, совпадает с указанной прямой суммой (в которой число слагаемых равно числу соотношений в групповых заданиях последовательности Адяна).