О гомоморфизмах на негативные алгебры

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