Abstract
We study expansions of an algebraically closed field K or a real closed field R with a linearly independent subgroup G of the multiplicative group of the field or the unit circle group \({\mathbb {S}}(R)\), satisfying a density/codensity condition (in the sense of geometric theories). Since the set G is neither algebraically closed nor algebraically independent, the expansion can be viewed as “intermediate” between the two other types of dense/codense expansions of geometric theories: lovely pairs and H-structures. We show that in both the algebraically closed field and real closed field cases, the resulting theory is near model complete and the expansion preserves many nice model theoretic conditions related to the complexity of definable sets such as stability and NIP.
Similar content being viewed by others
References
Belegradek, O., Zilber, B.: The model theory of the field of reals with a subgroup of the unit circle. J. Lond. Math. Soc. 78(3), 563–579 (2008)
Berenstein, A., Kim, J.: Dense codense predicates and the NTP2. Math. Logic Q. 62(1–2), 16–24 (2016)
Berenstein, A., Vassiliev, E.: On lovely paris of geometric structures. Ann. Pure Appl. Logic 161(7), 866–878 (2010)
Berenstein, A., Vassiliev, E.: Weakly one-based geometric theories. J. Symb. Logic 77(2), 392–422 (2012)
Berenstein, A., Vassiliev, E.: Geometric structures with a dense independent subset. Sel. Math. New Ser. 22, 191–225 (2016)
Berenstein, A., Dolich, A., Onshuus, A.: The independence property in generalized dense pairs of structures. J. Symb. Logic 76(2), 391–404 (2011)
Boxall, G.: NIP for some pair-like theories. Arch. Math. Logic 50(3–4), 353–359 (2011)
Casanovas, E.: Simple Theories and Hyperimaginaries. Lecture Notes in Logic. Association for Symbolic Logic, Chicago, IL, vol. 39. Cambridge University Press, Cambridge (2011)
Chernikov, A., Simon, P.: Externally definable sets and dependent pairs. Israel J. Math. 194(1), 409–425 (2013)
Dolich, A., Miller, C., Steinhorn, C.: Expansions of o-minimal structures by dense independent sets. Ann. Pure Appl. Logic 167(8), 684–706 (2016)
Göral, H.: Tame expansions of \(\omega \)-stable theeories and definable groups. Notre Dame J. Form. Logic. (to be published)
Günaydin, A.: Model theory of fields with multiplicative groups. Ph.D. Thesis, University of Illinois at Urbana-Champaign (2008)
Günaydin, A., Hieronymi, P.: Dependent pairs. J. Symb. Logic 76(2), 377–390 (2011)
Halevi, Y., Hasson, A.: Strongly dependent ordered abelian groups and henselian fields. arxiv:1706.03376
Pillay, A., Vassiliev, E.: Imaginaries in beautiful pairs. Ill. J. Math. 48(3), 759–768 (2004)
Poizat, B.: Paires de structures stables. J. Symb. Logic 48, 239–249 (1983)
van den Dries, L.: Dense pairs of o-minimal structures. Fund. Math. 157, 6178 (1998)
van den Dries, L., Gunaydin, A.: The fields of real and complex numbers with a multiplicative subgroup. Proc. Lond. Math. Soc. 93, 43–81 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors would like to thank Pantelis Eleftheriou, Haydar Göral, Ayhan Günaydin and Alf Onshuus for several helpful coversations. The first author was partially supported by Colciencias’ project Teoría de modelos y dinámicas topológicas number 120471250707. The second author was partially supported by the Ministry of Education and Science of the Republic of Kazakhstan (Grant AP05134992, Conservative extensions, countable ordered models, and closure operators). The authors thank the referee for helpful comments and valuable suggestions.
Rights and permissions
About this article
Cite this article
Berenstein, A., Vassiliev, E. Fields with a dense-codense linearly independent multiplicative subgroup. Arch. Math. Logic 59, 197–228 (2020). https://doi.org/10.1007/s00153-019-00683-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-019-00683-w