 Another direct consequence of the equivalence between dependence logic and \(\Sigma_1^1\) on the level of sentences is that the compactness theorem and the Löwenheim-Skolem theorem both hold for dependence logic too (Väänänen 2007a):