Алгоритмические проблемы и иерархии языков первого порядка

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