Asymptotic Theories of Classes Defined by Forbidden Homomorphisms

Manuel Bodirsky, Colin Jahel

We study the first-order almost-sure theories for classes of finite structures that are specified by homomorphically forbidding a set $\mathcal{F}$ of finite structures. If $\mathc…