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