 The situation changes completely if we adopt so-called general models  (§9.1).  With general models second-order logic has similar model theoretic properties as first order logic, as it can simply be thought of as many sorted first order logic (see  §9.1  and Manzano 1996). By and large, results of many-sorted first order logic translate immediately to second-order logic.