Вычислимые решения уравнений над эндоморфизмами негативных нумераций

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