 The Compactness Theorem was extended to the case of uncountable vocabularies by Maltsev in 1936 (see Mal’cev 1971), from which the Upward Löwenheim-Skolem theorem immediately follows. The Compactness Theorem would become one of the main tools in the then fledgling subject of model theory.