Некоторые свойства алгебраической сводимости конструктивизаций

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