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