Number fields and divisible groups via model theory

In this note, we first show that solutions of certain equations classify the number fields lying in imaginary quadratic number fields. Then, we study divisible groups with a predicate. We show that these structures are not simple and have the independence property under some natural assumptions.

PDF

___

[1] Berenstein A, Vassilev E. Fields with a dense-codense linearly independent multiplicative subgroup. Archive for Mathematical Logic 2020; 59: 197-228.
[2] Bombieri E, Gubler W. Heights in Diophantine Geometry. 1st ed. Cambridge, UK: Cambridge University Press, 2007.
[3] Casanovas E, Ziegler M. Stable theories with a new predicate. The Journal of Symbolic Logic 2001; 66: 1127-1140.
[4] Van den Dries L, Günaydın A. The fields of real and complex numbers with a small multiplicative group. Proceedings of the London Mathematical Society 2006; 93 (3): 43-81.
[5] Evertse J. H, Schlickewei H. P, Schmidt W. M. Linear equations in variables which lie in a multiplicative group. Annals of Mathematics 2002; 155: 807-836.
[6] Goldblatt R. Lectures on the Hyperreals, An Introduction to Nonstandard Analysis. New York, NY, USA: SpringerVerlag, 1998.
[7] Göral H. Algebraic numbers with elements of small height. MLQ Mathematical Logic Quarterly 2019; 65 (1): 14-22.
[8] Göral H. Tame expansions of ω-stable theories and definable groups. Notre Dame Journal of Formal Logic 2019; 60 (2): 161-194.
[9] Göral H, Sertbaş D. C. Density and finiteness results on sums of fractions. Proceedings of the American Mathematical Society 2019; 147: 567-581.
[10] Hindry M, Silverman J. H. Diophantine Geometry: An Introduction. New York, NY, USA: Springer-Verlag, 2000.
[11] Lang S. Fundamentals of Diophantine Geometry. New York, NY, USA: Springer-Verlag, 1983.
[12] Lehmer D. H. Factorization of certain cyclotomic functions. Annals of Mathematics 1933; 34 (2): 461-479.
[13] Mann H. On linear relations between roots of unity. Mathematika 1965; 12: 107-117.
[14] Samuel P. Algebraic Theory of Numbers (Translated from the French by Allan J. Silberger). Boston, MA, USA: Houghton Mifflin Company, 1970.
[15] Shelah S. Classification Theory. Studies in Logic and the Foundations of Mathematics. 2nd ed. Amsterdam, Netherlands: North Holland Publishing Co., 1990.
[16] Siegel CL. Über einige Anwendungen diophantischer Approximationen. Abhandlungen der Preussischen Akademie der Wissenschaften 1929; 1 (Ges. Abh., I): 209-266.
[17] Tent K, Ziegler M. A Course in Model Theory. Lecture Notes in Logic, Series Number 40. 1st ed. Cambrdige, UK: Cambridge University Press, 2012.