Theories with distal Shelah expansions

2018/01/08 by Gareth Boxall, Boxall, Gareth, Charlotte Kestner +1
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.1801.02346

arxiv created 2019/11/25 · arxiv updated 2019/11/26

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.

Related

• Distality Rank
• The definable (p,q)-theorem for distal theories
• A Note on "Regularity lemma for distal structures"
• Semi-equational theories
• Distality in valued fields and related structures