On the role of supercompact and extendible cardinals in logic

It is proved that the existence of supercompact cardinal is equivalent to a certain Skolem-Löwenheim Theorem for second order logic, whereas the existence of extendible cardinal is equivalent to a certain compactness theorem for that logic. It is also proved that a certain axiom schema related to model theory implies the existence of many extendible cardinals.