Forbidden Induced Subgraphs and the Łoś-Tarski Theorem

Yijia Chen, Joerg Flum

Let $\mathcal{C}$ be a class of finite and infinite graphs that is closed under induced subgraphs. The well-known Łoś-Tarski Theorem from classical model theory implies that $\maths…