Canonical decompositions in monadically stable and bounded shrubdepth graph classes

Pierre Ohlmann, Michał Pilipczul, Szymon Toruńczyk +1

We use model-theoretic tools originating from stability theory to derive a result we call the Finitary Substitute Lemma, which intuitively says the following. Suppose we work in a…