Trace definability IV: higher arity notions

Abstract

Motivated by the "composition theorems" of Chernikov-Hempel and Abd Aldaim-Conant-Terry we introduce $k$-trace definability between first order theories. Any theory which is $k$-trace definable in a NIP theory is $k$-NIP and any theory which is $2$-trace definable in a stable theory is $2$-NFOP. All known examples of $k$-NIP theories are $k$-trace definable in NIP theories. We show that for several of the main examples of $k$-NIP theories $T$ there is a NIP theory $T^{\ast }$ such that $T$ is the (unique up to a certain notion of equivalence) universal theory which is $k$-trace definable in $T^{\ast }$. For example the theory of Hilbert space is the universal theory which is $2$-trace definable in RCF, the theory of the generic class $k$ nilpotent Lie algebra over ${\mathbb{F}}_p$ is the universal theory which is $k$-trace definable in the theory of infinite ${\mathbb{F}}_p$-vector spaces, the theory of the generic $k$-hypergraph is the universal theory which is $k$-trace definable in the theory of a set with two elements, and the theory of Uryshon space is the universal theory which is $2$-trace definable in the theory of $(\mathbb{R};+,<)$. We construct the universal theory $D_k(T)$ which is $k$-trace definable in an arbitrary theory $T$.

This is the fourth in a series of papers consisting of cleaned up and strengthened versions of parts of arXiv:2504.05566v1