СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Касымов Н. Х. Нумерованные алгебры с равномерно рекурсивно отделимыми классами // Том 34 (1993), Номер 5, стр. 85–102
Исследуются свойства нумерованных алгебр с равномерно
рекурсивно отделимыми смежными классами нумерационной
эквивалентности. Дана характеризация таких алгебр в терминах их
равномерно эффективных гомоморфизмов на негативные алгебры.
Приводятся примеры позитивных алгебр с равномерно рекурсивно
отделимыми классами, решающие некоторые вопросы теории конструктивных
моделей и абстрактных типов данных. Библиогр.~12.
© Сибирский Математический Журнал, 2003-2006