Submission date: 12 September 2022

Abstract:

We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a hereditary class of relational structures is NIP (resp. stable) if and only if it is monadically NIP (resp. monadically stable).

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2209.05120: pdf, ps.