Higher-arity distality and forking triviality
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.22314
curl -X POST /api/v1/records/arxiv/2605.22314/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.22314/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'