Регулярно $r$-замкнутые поля

Для произвольного допустимого класса $\mathfrak{G}$ инволюторных групп описывается модельный компаньон класса предупорядоченных полей, инволюторная группа Галуа которых есть $\mathfrak{G}$-группа. Устанавливается разрешимость элементарной теории этого модельного компаньона в случае, когда класс $\mathfrak{G}$ рекурсивен.