Хорошие локально-глобальные поля. II

Устанавливается разрешимость элементарной теории классов полей $m$NLGF, $f$NLGF и $u$NLGF, введенных в рассмотрение в первой части данной работы (см. Алгебра и логика, 35, N 4 (1996), 411–423). Там была показана рекурсивная аксиоматизируемость этих теорий. Поэтому для доказательства разрешимости достаточно проверить рекурсивную перечислимость множества предложений сигнатуры $\sigma_f$ теории полей, выполнимых на полях из классов $m$NLGF, $f$NLGF и $u$NLGF.