 The entry on  second-order and higher-order logic  provides more detail and gives some indication of the complexity of the set of valid second-order formulas in the standard model theory for second-order logic. No Completeness, Compactness, or Löwenheim-Skolem theorem is available for second-order logic with standard models. The entry on  second-order and higher-order logic  provides concrete illustrations of these facts.