{"id":"arxiv/2605.19513","url":"https://arxiv.org/abs/2605.19513","tags":["math.LO"],"score":0,"title":"Trace definability IV: higher arity notions","domain":"math.LO","source":"arxiv","authors":["Erik Walsberg"],"reviews":0,"subject":"math.LO","summary":"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^*$.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-19","reactions":{}}