2004 seminar talk: Strong Compactness and Stationary Sets
Talk held by John Krueger (KGRC) at the KGRC seminar on 2004-05-18.
Abstract
I will show how to construct a model in which $\kappa$ is a strongly compact cardinal and the set $S(\kappa,\kappa^+) = \{ a \in P_\kappa \kappa^+ : \ot(a) = (a \cap \kappa)^+ \}$ is non-stationary.