РАВНОМЕРНО ВЫЧИСЛИМО ОТДЕЛИМЫЕ АЛГЕБРЫ И УСЛОВИЯ ТИПА ПРОДУКТИВНОСТИ
Keywords:
Равномерно вычислимая алгебра, продуктивность, полупродуктивность, вычислимость, эффективное множество.Abstract
В этой статье рассмотрено свойства равномерно вычислимо отделимых алгебр и доказано, что существование собственное расширение продуктивных множеств.
References
Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. Перевод с английского, под ред. В.А. Успенского, М., ''Мир'', 1972, 624 с.
Соар Р.И. Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечислимых множеств. Перевод с английского, под ред. М.М. Арсланова, Казанское математическое общество, Казань, 2000, 576 с.
Касымов Н.Х. Нумерованные алгебры с равномерно рекурсивно отделимыми классами. Сибирский матем.журн., Т.34, № 5, 1993, 85-102.
Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры. Успехи матем.наук, Т.51, № 3, 1996, 145-176.
Мальцев А.И. Конструктивные алгебры I. Успехи мат. наук, 1961, 16, №3, 3-60.
Bergstra J.A., Tucker J.V. A characterization of computable data
types by means of a finite, equational specification method. Lecture Notes in Comput.Sci., 1980, №85, p.76-90.
