  Finally, we mention one further result which generalizes nicely  to  L(ω1,ω) but to no other infinitary language. It is well known that, if A is any finite  L-structure  with only finitely many relations, there is an  L-sentence  σ characterizing A up to isomorphism. For  L(ω1,ω) we have the following generalization known as