Ершов Ю. Л.
Элементарные регулярные кольца. II

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

Ershov Yu. L.
Elementary regular rings. II

We extend the well-known result by Burris and Werner on existence of defining sequences for elementary products of models to arbitrary enrichments of Boolean algebras (we obtain a complete analog of the Feferman–Vaught theorem). This enables us to establish decidability of the elementary theory of a classical object of number theory, the ring of adeles.

Полный текст статьи / Full texts:

• PDF file (427 KB)
• PostScript file (833 KB)