Логические аспекты теории жестких разрешимых групп

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