{"id":"arxiv/2605.12323","url":"https://arxiv.org/abs/2605.12323","tags":["math.LO"],"score":0,"title":"Trace definability II: model-theoretic linearity","domain":"math.LO","source":"arxiv","authors":["Erik Walsberg"],"reviews":0,"subject":"math.LO","summary":"We give examples of $\\mathrm{NIP}$ structures in which new algebraic structure appears in the Shelah completion. In particular we construct a weakly o-minimal structure $\\mathscr{M}$ such that $\\mathscr{M}$ does not interpret an infinite group but the Shelah completion of $\\mathscr{M}$ interprets an infinite field. We introduce a weak notion of interpretability called local trace definability between first order structures and an associated weak notion of equivalence. We give a dichotomy between ``linearity\" and ``field structure\" for dp-minimal expansions of archimedean ordered abelian…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-12","reactions":{}}