Trace definability IV: higher arity notions

TL;DR

This paper introduces the concept of $k$-trace definability between first order theories, exploring its implications for NIP, stable, and other theories, and establishing universal theories with specific definability properties.

Contribution

It defines $k$-trace definability, proves its properties, and constructs universal theories that are $k$-trace definable in arbitrary theories, extending the understanding of theory relationships.

Findings

Any theory $k$-trace definable in an NIP theory is $k$-NIP.

Theories of Hilbert space, nilpotent Lie algebras, hypergraphs, and Uryshon space are universal for certain $k$-trace definability.

The paper constructs the universal theory $D_k(T)$ for arbitrary theories $T$.

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^*$ such that $T$ is the (unique up to a certain notion of equivalence) universal theory which is $k$-trace definable in $T^*$. 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$.