  On the other hand, the upward Löwenheim-Skolem theorem in its usual form fails for all infinitary languages. For example, the  L(ω1,ω)-sentence characterizing the standard model of arithmetic has a model of cardinality  ℵ0 but no models of any other cardinality. However, all is not lost here, as we shall see.