|
Near Regularly-Prüfer Rings
Yu. L. Ershov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
In the present article, we construct the theory of near Boolean families of valuation rings which extends the corresponding theory for Boolean families. We establish the fact that the local-global principle (LGP) for such families is effectively elementary. We indicate sufficient conditions for 1-embeddability of holomorphy rings of near Boolean families that possess the LGP property. By way of application, we prove that the elementary theory of the ring of integrably totally $p$-adic integers and the elementary theory of the class of all closed subrings of almost all algebraic numbers are decidable.
Key words:
(near) Boolean family of valuation rings, (near) regularly-Prüfer ring, local-global principle.
Received: 26.02.1998
Citation:
Yu. L. Ershov, “Near Regularly-Prüfer Rings”, Mat. Tr., 2:1 (1999), 72–120; Siberian Adv. Math., 9:1 (1999), 1–45
Linking options:
https://www.mathnet.ru/eng/mt147 https://www.mathnet.ru/eng/mt/v2/i1/p72
|
|