 The extension \(L(I)\) of first order logic by the Härtig quantifier is  weaker[20]  than second-order logic as its Löwenheim number can be \(&lt;2^\omega\), but if \(V=L\), then it is \(\Delta\)-equivalent with second-order logic (Väänänen 1980).