Trace definability I: preservation and characterizations
Logic
2026-05-13 v2
Abstract
We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of it.
Cite
@article{arxiv.2504.05566,
title = {Trace definability I: preservation and characterizations},
author = {Erik Walsberg},
journal= {arXiv preprint arXiv:2504.05566},
year = {2026}
}
Comments
This is the first in a series of papers consisting of cleaned up and strengthened versions of parts of arXiv:2504.05566v1