|
Сибирский математический журнал, 2004, том 45, номер 3, страницы 558–565
(Mi smj1089)
|
|
|
|
Элементарные регулярные кольца. II
Ю. Л. Ершов Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Известный результат Барриса и Вернера о существовании определяющих последовательностей для элементарных произведений моделей распространяется на любые обогащения булевых алгебр (получен полный аналог теоремы Фефермана–Вота). Это позволяет установить разрешимость элементарной теории классического объекта теории чисел – кольца аде́лей.
Ключевые слова:
элементарное произведение, определяющая последовательность, элементарное регулярное кольцо, кольцо аде́лей.
Статья поступила: 06.02.2004
Образец цитирования:
Ю. Л. Ершов, “Элементарные регулярные кольца. II”, Сиб. матем. журн., 45:3 (2004), 558–565; Siberian Math. J., 45:3 (2004), 459–464
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1089 https://www.mathnet.ru/rus/smj/v45/i3/p558
|
|