The poset of morphism-extension classes of countable graphs

Andrés Aranda

Let $\mathrm{X}{\mathrm{Y}}_{\mathrm{L},\mathrm{T}}$ denote the class of countably infinite $L$-structures that satisfy the axioms $T$ and in which all homomorphisms of type X (these could be homomorphisms, mo…