  Given what we now know about infinitary languages, it would seem  that  L(ω1,ω) is the only one to be reasonably well behaved. On the other hand, the failure of the compactness theorem to generalize to  L(ω1,ω) in any useful fashion is a severe drawback as far as applications are concerned. Let us attempt to analyze this failure in more detail. 