The archetypal Rumely domain is the ring \widetildeZ of algebraic integers. Its constructible Boolean algebra is atomless. We study here the opposite situation: Rumely domains whose constructible Boolean algebra is atomic. Recursive models (which are rings of algebraic numbers) are proposed; effective model-completeness and decidability of the corresponding theory are proved.
References
[1] Chang, C. C., and H. J. Keisler, Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland Publishing Co., Amsterdam, 1973. MR0409165 0276.02032[1] Chang, C. C., and H. J. Keisler, Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland Publishing Co., Amsterdam, 1973. MR0409165 0276.02032
[2] Cohen, H., A Course in Computational Algebraic Number Theory, vol. 138 of Graduate Texts in Mathematics, Springer-Verlag, Berlin, 1993. MR1228206 0786.11071[2] Cohen, H., A Course in Computational Algebraic Number Theory, vol. 138 of Graduate Texts in Mathematics, Springer-Verlag, Berlin, 1993. MR1228206 0786.11071
[3] Darnière, L., "Pseudo-algebraically closed rings", Manuscripta Mathematica, vol. 105 (2001), pp. 13--46. MR1885812 1018.12008 10.1007/s002290170008[3] Darnière, L., "Pseudo-algebraically closed rings", Manuscripta Mathematica, vol. 105 (2001), pp. 13--46. MR1885812 1018.12008 10.1007/s002290170008
[4] Ershov, Y. L., "Decidability of the elementary theory of relatively complemented distributive lattices and the theory of filters", Algebra i Logika, vol. 3 (1964), pp. 17--38. 0199.03103 MR180490[4] Ershov, Y. L., "Decidability of the elementary theory of relatively complemented distributive lattices and the theory of filters", Algebra i Logika, vol. 3 (1964), pp. 17--38. 0199.03103 MR180490
[5] Ershov, Y. L., "Near regularly-Prüfer rings", Siberian Advances in Mathematics, vol. 9 (1999), pp. 1--45. MR1695649 0937.12005[5] Ershov, Y. L., "Near regularly-Prüfer rings", Siberian Advances in Mathematics, vol. 9 (1999), pp. 1--45. MR1695649 0937.12005
[6] Hodges, W., Model Theory, vol. 42 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1993. MR1221741 0789.03031[6] Hodges, W., Model Theory, vol. 42 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1993. MR1221741 0789.03031
[7] Neukirch, J., Algebraic Number Theory, vol. 322 of Fundamental Principles of Mathematical Sciences, Springer-Verlag, Berlin, 1999. Translated from the 1992 German original by Norbert Schappacher. MR1697859 0956.11021[7] Neukirch, J., Algebraic Number Theory, vol. 322 of Fundamental Principles of Mathematical Sciences, Springer-Verlag, Berlin, 1999. Translated from the 1992 German original by Norbert Schappacher. MR1697859 0956.11021
[8] Pohst, M., and H. Zassenhaus, Algorithmic Algebraic Number Theory, vol. 30 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1989. MR1033013 0685.12001[8] Pohst, M., and H. Zassenhaus, Algorithmic Algebraic Number Theory, vol. 30 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1989. MR1033013 0685.12001
[9] Prestel, A., and J. Schmid, "Existentially closed domains with radical relations: An axiomatization of the ring of algebraic integers", Journal für die Reine und Angewandte Mathematik, vol. 407 (1990), pp. 178--201. MR1048534 0691.12013[9] Prestel, A., and J. Schmid, "Existentially closed domains with radical relations: An axiomatization of the ring of algebraic integers", Journal für die Reine und Angewandte Mathematik, vol. 407 (1990), pp. 178--201. MR1048534 0691.12013
[10] Rumely, R. S., "Arithmetic over the ring of all algebraic integers", Journal für die Reine und Angewandte Mathematik, vol. 368 (1986), pp. 127--33. MR850618 0581.14014[10] Rumely, R. S., "Arithmetic over the ring of all algebraic integers", Journal für die Reine und Angewandte Mathematik, vol. 368 (1986), pp. 127--33. MR850618 0581.14014
[11] Tarski, A., "Grundzüge des Systementkalküls. I/II", Fundamenta Mathematicae, vol. 25/26 (1935/1936), pp. 503--26/283--301. 0012.38501[11] Tarski, A., "Grundzüge des Systementkalküls. I/II", Fundamenta Mathematicae, vol. 25/26 (1935/1936), pp. 503--26/283--301. 0012.38501
[13] van den Dries, L., "Elimination theory for the ring of algebraic integers", Journal für die Reine und Angewandte Mathematik, vol. 388 (1988), pp. 189--205. MR944190 0659.12021[13] van den Dries, L., "Elimination theory for the ring of algebraic integers", Journal für die Reine und Angewandte Mathematik, vol. 388 (1988), pp. 189--205. MR944190 0659.12021
[14] van den Dries, L., and A. Macintyre, "The logic of Rumely's local-global principle", Journal für die Reine und Angewandte Mathematik, vol. 407 (1990), pp. 33--56. MR1048527 0703.13021[14] van den Dries, L., and A. Macintyre, "The logic of Rumely's local-global principle", Journal für die Reine und Angewandte Mathematik, vol. 407 (1990), pp. 33--56. MR1048527 0703.13021