Submission date: 8 January 2018

Abstract:

We show that a complete first-order theory T is distal provided it has a model M such that the theory of the Shelah expansion of M is distal.

Mathematics Subject Classification: 03C45

Keywords and phrases: Distal Theories, NIP, Shelah Expansions

Full text arXiv 1801.02346: pdf, ps.