I'm sure this is just my google-fu failing me, but: what are sufficient large cardinal axioms to guarantee "Every (boldface) $\Pi^1_n$ set of countable ordinals contains or is disjoint from a club subset of $\omega_1$"? EDIT: To clarify, I'm asking about the consistency strength over ZFC. Here...