Abstract

Combining techniques of the first author and Shelah with ideas of Magidor, we show how to get a model in which, for fixed but arbitrary finite n, the first n strongly compact cardinals $\kappa_1,..., \kappa_n$ are so that $\kappa_i$ for i = 1,..., n is both the i$^{th}$ measurable cardinal and $\kappa^+_i$ supercompact. This generalizes an unpublished theorem of Magidor and answers a question of Apter and Shelah.