Is second order logic compact and/or decidable? Wikipedia says
Gödel's...compactness theorem, which hold[s] for first-order logic, carr[ies] over to second-order logic with Henkin semantics.
This is makes it sound like second-order logic is normally not compact. What about decidability? What are some good intuitions as to why, or counterexamples as to why not?