Characterizations of the weakly compact ideal on $P_{\kappa }\lambda$

Brent Cody

Hellsten \cite{MR2026390} gave a characterization of ${\Pi }_n^1$-indescribable subsets of a ${\Pi }_n^1$-indescribable cardinal in terms of a natural filter base: when $\kappa$ is a ${\Pi }_n^1$-inde…