Publications > Preprint server > Preprint Number 1915
Preprint Number 1915
1915. Erik Walsberg Notes on trace equivalence E-mail: Submission date: 28 January 2021 Abstract: We introduce trace definability, a weak notion of interpretability, and trace equivalence, a weak notion of equivalence for first order structures and theories. In particular we get an interesting weak equivalence notion for \mathrm{NIP} theories. We describe a close connection to indiscernible collapse. We also show that if Q is a divisible subgroup of (ℝ;+) and Q is a dp-rank one expansion of (Q;+,<) then exactly one of the following holds: Th(Q) trace defines RCF or Q is trace equivalent to a reduct of an ordered vector space. Mathematics Subject Classification: Keywords and phrases: |
Last updated: March 23 2021 09:21 | Please send your corrections to: |