Описание категоричных позитивных хорновых классов

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