Mekler's construction and generalized stability
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 \in \mathbb{N}$, and that NTP$_2$ is preserved. We apply this result to obtain first examples of strictly $k$-dependent groups (with no additional structure).
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2017
- DOI:
- 10.48550/arXiv.1708.03724
- arXiv:
- arXiv:1708.03724
- Bibcode:
- 2017arXiv170803724C
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Combinatorics;
- Mathematics - Group Theory;
- 03C45;
- 03C60;
- 20F18;
- 05C25
- E-Print:
- v.2 many minor corrections and presentation improvements throughout the article, more details were added in some of the proofs