Trace definability I: preservation and characterizations

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.

This is the first in a series of papers consisting of cleaned up and strengthened versions of parts of arXiv:2504.05566v1