# Is the lowenheim-skolem number of nth order logic larger than the corresponding number for 2nd order logic

According to this paper, by Vaananen, the $LS$ number for $2^{nd}$ order logic is given by "the supremum of $Π_{2}$-definable ordinals", where "The Lowenheim-Skolem number $LS(L)$ of $L$ is the smallest cardinal $\kappa$ such that if a theory $T\subseteq L$ has a model, it has a model of cardinality $< \max(\kappa, |T|)$."

So I'm wondering if the $LS$ number is larger for higher-order logics (compared to $2^{nd}$ order logic)?

• Second-order and $n$th order logic have the same LS number: you can emulate $n$th order logic by $n$-sorted 2nd order logic, as you can state in 2nd order logic that every subset of the $i$th sort is represented in the $(i+1)$th sort. – Emil Jeřábek May 9 '15 at 18:01