When one characterises a formula by an uppercase pi or sigma, and the superscript is 2 or greater, is this the same thing as saying that the formula is a second-order formula, so that for example the Löwenheim-Skolem or Compactness theorems don't apply to theories containing such formulas?

Thanks