Универсальные хорновы классы и антимногообразия алгебраических систем

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