Abstract
Generalising work of Berenstein, Dolich and Onshuus (Preprint 145 on MODNET Preprint server, 2008) and Günaydın and Hieronymi (Preprint 146 on MODNET Preprint server, 2010), we give sufficient conditions for a theory T P to inherit N I P from T, where T P is an expansion of the theory T by a unary predicate P. We apply our result to theories, studied by Belegradek and Zilber (J. Lond. Math. Soc. 78:563–579, 2008), of the real field with a subgroup of the unit circle.
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, 563–579 (2008)
Berenstein, A., Dolich, A., Onshuus, A.: The independence property in generalized dense pairs of structures. Preprint 145 on MODNET Preprint server (2008)
Berenstein A., Ealy C., Günaydın A.: Thorn independence in the field of real numbers with a small multiplicative group. Ann. Pure Appl. Log. 150, 1–18 (2007)
Berenstein A., Vassiliev E.: On lovely pairs of geometric structures. Ann. Pure Appl. Log. 161, 866–878 (2010)
Günaydın A., Hieronymi P.: Dependent pairs. Preprint 146 on MODNET Preprint server (2010)
Poizat B.: A Course in Model Theory. Springer-Verlag, New York (2000)
Shelah S.: Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Ann. Math. Log. 3, 271–362 (1971)
van den Dries L., Günaydın A.: The fields of real and complex numbers with a small multiplicative group. Proc. Lond. Math. Soc. 93, 43–81 (2006)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Boxall, G. NIP for some pair-like theories. Arch. Math. Logic 50, 353–359 (2011). https://doi.org/10.1007/s00153-010-0218-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-010-0218-3