Monadic NIP in monotone classes of relational structures

Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis +1

We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of…