Applications of CT

-- class of structures which has finitely many elements is not
definable in FO with equality.

-- class of graphs G=(V,E,a,b) where there is a path from a to b is
not definable in FO with signature <{a,b},{},{R(,)}> 

