Advertisement

Mekler’s construction and generalized stability

  • Artem ChernikovEmail author
  • Nadja Hempel
Article
  • 7 Downloads

Abstract

Mekler’s construction gives an interpretation of any structure in a finite relational language in a group (nilpotent of class 2 and exponent p > 2, but not finitely generated in general). Even though this construction is not a bi-interpretation, it is known to preserve some model-theoretic tameness properties of the original structure including stability and simplicity. We demonstrate that k-dependence of the theory is preserved, for all k ∈ N, and that NTP2 is preserved. We apply this result to obtain first examples of strictly k-dependent groups (with no additional structure).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    H. Adler, An introduction to theories without the independence property, https://doi.org/www.logic.univie.ac.at/~adler/docs/nip.pdf
  2. [2]
    A. Baudisch, Mekler’s construction preserves CM-triviality, Annals of Pure and Applied Logic 115 (2002), 115–173.MathSciNetCrossRefzbMATHGoogle Scholar
  3. [3]
    I. Ben Yaacov and A. Chernikov, An independence theorem for NTP2 theories, Journal of Symbolic Logic 79 (2014), 135–153.MathSciNetCrossRefzbMATHGoogle Scholar
  4. [4]
    A. Chernikov, Theories without the tree property of the second kind, Annals of Pure and Applied Logic 165 (2014), 695–723.MathSciNetCrossRefzbMATHGoogle Scholar
  5. [5]
    A. Chernikov and I. Kaplan, Forking and dividing in NTP2 theories, Journal of Symbolic Logic 77 (2012), 1–20.MathSciNetCrossRefzbMATHGoogle Scholar
  6. [6]
    A. Chernikov, I. Kaplan and S. Shelah, On non-forking spectra, Journal of the European Mathematical Society 18 (2016), 2821–2848.MathSciNetCrossRefzbMATHGoogle Scholar
  7. [7]
    A. Chernikov, I. Kaplan and P. Simon, Groups and fields with NTP2, Proceedings of the American Mathematical Society 143 (2015), 395–406.MathSciNetCrossRefzbMATHGoogle Scholar
  8. [8]
    A. Chernikov, D. Palacin and K. Takeuchi, On n-dependence, Notre Dame Journal of Formal Logic, to appear, arXiv:1411.0120.Google Scholar
  9. [9]
    A. Chernikov and N. Ramsey, On model-theoretic tree properties, Journal of Mathematical Logic 16 (2016), 1650009.MathSciNetCrossRefzbMATHGoogle Scholar
  10. [10]
    A. Chernikov and S. Shelah, On the number of Dedekind cuts and two-cardinal models of dependent theories, Journal of the Institute of Mathematics of Jussieu 15 (2016), 771–784.MathSciNetCrossRefzbMATHGoogle Scholar
  11. [11]
    N. Hempel, On n-dependent groups and fields, Mathematical Logic Quarterly 62 (2016), 215–224.MathSciNetCrossRefzbMATHGoogle Scholar
  12. [12]
    W. Hodges, Model Theory, Encyclopedia of Mathematics and its Applications, Vol. 42, Cambridge University Press, Cambridge, 1993.Google Scholar
  13. [13]
    I. Kaplan and N. Ramsey, On Kim-independence, Journal of the European Mathematical Society, to appear, arXiv:1702.03894.Google Scholar
  14. [14]
    D. Macpherson and C. Steinhorn, One-dimensional asymptotic classes of finite structures, Transactions of the American Mathematical Society 360 (2008), 411–448.MathSciNetCrossRefzbMATHGoogle Scholar
  15. [15]
    A. H. Mekler, Stability of nilpotent groups of class 2 and prime exponent, Journal of Symbolic Logic 46 (1981), 781–788.MathSciNetCrossRefzbMATHGoogle Scholar
  16. [16]
    C. Milliet, Definable envelopes in groups having a simple theory, Journal of Algebra 492 (2017), 298–323.MathSciNetCrossRefzbMATHGoogle Scholar
  17. [17]
    W. Mitchell, Aronszajn trees and the independence of the transfer property, Annals of Mathematical Logic 5 (1972), 21–46.MathSciNetCrossRefzbMATHGoogle Scholar
  18. [18]
    S. Shelah, Simple unstable theories, Annals of Mathematical Logic 19 (1980), 177–203.MathSciNetCrossRefzbMATHGoogle Scholar
  19. [19]
    S. Shelah, Classification Theory and the Number of Non-isomorphic Models, Studies in Logic and the Foundations of Mathematics, Vol. 92, North-Holland, Amsterdam, 1990.Google Scholar
  20. [20]
    S. Shelah, Strongly dependent theories, Israel Journal of Mathematics 204 (2014), 1–83.MathSciNetCrossRefzbMATHGoogle Scholar
  21. [21]
    S. Shelah, Definable groups for dependent and 2-dependent theories, Sarajevo Journal of Mathematics 13(25) (2017), 3–25.Google Scholar
  22. [22]
    F. O. Wagner, Simple Theories, Mathematics and its Applications, Vol. 503, Kluwer Academic, Dordrecht, 2000.Google Scholar

Copyright information

© Hebrew University of Jerusalem 2019

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of California Los AngelesLos AngelsUSA

Personalised recommendations