A finiteness theorem for primal extensions

We show that our result is best possible in the following sense. Specifically, we prove that for every non-simple graph F there exist a graph G and a homogeneous set W of G such that W induces a subgraph isomorphic to F and Ext(G) is infinite.