Kurt Gödel Research Center

2004 seminar talk: Strong Compactness and Stationary Sets 2

Talk held by John Krueger (KGRC) at the KGRC seminar on 2004-05-25.

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.