Элементарные регулярные кольца. II

Известный результат Барриса и Вернера о существовании определяющих последовательностей для элементарных произведений моделей распространяется на любые обогащения булевых алгебр (получен полный аналог теоремы Фефермана–Вота). Это позволяет установить разрешимость элементарной теории классического объекта теории чисел – кольца аде́лей.