О разрешимости классов иерархий регулярных апериодических языков

Предлагается новый, логический подход к проблеме разрешимости для иерархий Страубинга и Бжозовского, основанный на теоремах об устойчивости из теории моделей, на одной теореме Хигмана и на теореме Рабина о дереве. Таким путем удается получить чисто логические короткие доказательства некоторых известных фактов о разрешимости, что может представлять определенный методологический интерес. Данный подход применим также в некоторых других подобных ситуациях, например, для иерархий формул по модулю теории линейных порядков с конечным числом унарных предикатов.