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

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

Combarro E. F.
Computable solutions of equations over endomorphisms of negative numberings

We prove that a broad class of systems of equations have endomorphisms of negative numberings as solutions. Moreover, we prove that if the endomorphisms of a numbering uniformly solve this class of systems of equations and have the separability property then the numbering is negative.

Полный текст статьи / Full texts:

• PDF file (427 KB)
• PostScript file (798 KB)