СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Ершов Ю. Л. Элементарные регулярные кольца. II // Том 45 (2004), Номер 3, стр. 558–565
Известный результат Барриса и Вернера
о существовании определяющих последовательностей
для элементарных произведений моделей распространяется
на любые обогащения булевых алгебр (получен полный
аналог теоремы Фефермана~--- Вота).
Это позволяет установить разрешимость элементарной теории
классического объекта теории чисел~---
кольца ад\'елей.
© Сибирский Математический Журнал, 2003-2006