{"id":"arxiv/2605.22314","url":"https://arxiv.org/abs/2605.22314","tags":["math.LO"],"score":0,"title":"Higher-arity distality and forking triviality","domain":"math.LO","source":"arxiv","authors":["Mervyn Tong"],"reviews":0,"subject":"math.LO","summary":"Answering a question of Goode, we show that $k$-triviality collapses to (1-)triviality among simple theories. In particular, every stable theory with quantifier elimination in a relational language of bounded arity is trivial. We use our collapse result, along with other facts about $k$-triviality and $k$-total triviality, to generate examples of (strongly) $k$-distal theories. The collapse result immediately implies that no stable theory can be strictly $k$-distal for some $k\\geq 3$, partially answering a question of Walker. Moreover, all known examples of non-distal (strongly) $k$-distal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-21","reactions":{}}