2004 seminar talk: Strong Compactness and Stationary Sets 2

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


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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.