Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2254

Preprint Number 2254

Previous Next Preprint server

2254. Samuel Braunfeld and Michael C. Laskowski
Existential characterizations of monadic NIP

Submission date: 12 September 2022


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.

Last updated: September 18 2022 11:17 Please send your corrections to: